Theorem CategoryTheory.Subgroupoid.isNormal_map

Modification history