Theorem CategoryTheory.Limits.hasFiniteWidePullbacks_of_hasFiniteLimits

Modification history