Def CategoryTheory.Limits.isLimitConeOfCoconeRightOp

Modification history