This topic was moved by Théo Zimmermann to #math-comp users > [ssreflect] create finType from unique seq
Last updated: Apr 19 2024 at 15:02 UTC