Theorem CategoryTheory.ChosenFiniteProducts.lift_apply

Modification history