Theorem CategoryTheory.Limits.biprod.lift_fst

Modification history