Theorem CategoryTheory.Limits.WidePushout.eq_desc_of_comp_eq

Modification history