Theorem CategoryTheory.Localization.Monoidal.id_tensorHom_id

Modification history