Theorem CategoryTheory.Subgroupoid.full_mono

Modification history