Theorem CategoryTheory.Limits.pullbackIsoUnopPushout_hom_inr

Modification history