Theorem CategoryTheory.Subgroupoid.sInf_isNormal

Modification history