Theorem CategoryTheory.Limits.biprod.lift_desc

Modification history