Theorem CategoryTheory.Limits.biprod.add_eq_lift_id_desc

Modification history