Theorem CategoryTheory.Subgroupoid.discrete_isNormal

Modification history