Def CategoryTheory.MonoidalOfChosenFiniteProducts.tensorObj

Modification history