Theorem CategoryTheory.Limits.hasFiniteWidePushouts_of_has_finite_limits

Modification history