Def CategoryTheory.Limits.isLimitConeRightOpOfCocone

Modification history