Theorem CategoryTheory.MonoidalCategory.tensor_dite

Modification history