Theorem CategoryTheory.Limits.pushoutIsoUnopPullback_inv_fst

Modification history