Theorem CategoryTheory.Subgroupoid.generatedNormal_isNormal

Modification history