Theorem CategoryTheory.Limits.inr_pushoutRightPushoutInlIso_inv

Modification history