Theorem CategoryTheory.Subgroupoid.full_univ

Modification history