Def Profinite.fintype_diagram

Modification history