Theorem CategoryTheory.Limits.inr_pushoutZeroZeroIso_inv

Modification history