Theorem CategoryTheory.ChosenFiniteProducts.lift_fst_snd

Modification history