Def CategoryTheory.Limits.isColimitCoconeLeftOpOfCone

Modification history