Def CategoryTheory.Limits.coneRightOpOfCocone

Modification history