Theorem CategoryTheory.Limits.PreservesPushout.inl_iso_inv

Modification history