Def CategoryTheory.Limits.coneLeftOpOfCocone

Modification history