Theorem CategoryTheory.ChosenFiniteProducts.lift_fst

Modification history