Theorem CategoryTheory.Subgroupoid.IsNormal.conjugation_bij

Modification history