Def CategoryTheory.Under.forgetCone

Modification history