Theorem CategoryTheory.Limits.hasPushout_of_preserves_pushout

Modification history