This topic was moved by Théo Zimmermann to #math-comp users > Finite Types & Finite Graphs in MathComp
Last updated: Feb 01 2023 at 12:30 UTC