Theorem CategoryTheory.Limits.pushout.inr_desc

Modification history