Def CategoryTheory.Limits.PullbackCone.isLimitEquivIsColimitUnop

Modification history