Theorem CategoryTheory.ChosenFiniteProducts.lift_whiskerLeft

Modification history