Def CategoryTheory.Limits.SingleObj.colimitTypeRelEquivOrbitRelQuotient

Modification history