Theorem CategoryTheory.Limits.biprod.lift_eq

Modification history