Theorem CategoryTheory.Subgroupoid.isWide_iff_objs_eq_univ

Modification history