Theorem CategoryTheory.hasLimits_of_coreflective

Modification history