Theorem CategoryTheory.Limits.PreservesPushout.inr_iso_inv

Modification history