Theorem CategoryTheory.ChosenFiniteProducts.lift_snd_fst

Modification history