Theorem CategoryTheory.Limits.pullbackIsoUnopPushout_inv_fst

Modification history