Theorem CategoryTheory.Limits.pushoutIsoUnopPullback_inv_snd

Modification history