Def CategoryTheory.Subgroupoid.generatedNormal

Modification history