Def CategoryTheory.Limits.PullbackCone.isLimitEquivIsColimitOp

Modification history