Theorem CategoryTheory.Subgroupoid.ker_isNormal

Modification history