Theorem CategoryTheory.Limits.pullbackIsoUnopPushout_inv_snd

Modification history