Def CategoryTheory.Subobject.leInfCone

Modification history