Theorem CategoryTheory.monoidalOfHasFiniteProducts.tensor_ext

Modification history