Theorem CategoryTheory.Localization.Monoidal.tensorHom_id

Modification history