Def CategoryTheory.Limits.coconeRightOpOfCone

Modification history