Theorem CategoryTheory.Subgroupoid.full_empty

Modification history