Theorem CategoryTheory.monoidalOfHasFiniteProducts.tensorUnit

Modification history