Def CategoryTheory.Limits.PushoutCocone.isColimitEquivIsLimitOp

Modification history