Def CategoryTheory.yonedaJointlyReflectsLimits

Modification history