Theorem CategoryTheory.MonoidalOfChosenFiniteProducts.tensor_id

Modification history