Def CategoryTheory.Limits.SingleObj.Types.Quot.equivOrbitRelQuotient

Modification history