Theorem CategoryTheory.Localization.Monoidal.tensor_comp

Modification history