Theorem CategoryTheory.ChosenFiniteProducts.comp_lift

Modification history