Theorem CategoryTheory.monoidalOfHasFiniteProducts.unit_ext

Modification history