Theorem CategoryTheory.Limits.inr_comp_pushoutSymmetry_inv

Modification history