Theorem CategoryTheory.Limits.hasFiniteLimits_of_hasFiniteLimits_of_size

Modification history