Def CategoryTheory.Limits.isLimitPullbackConeMapOfIsLimit

Modification history