Theorem CategoryTheory.ChosenFiniteProducts.lift_whiskerRight

Modification history