Theorem CategoryTheory.ChosenFiniteProducts.lift_snd

Modification history