Theorem CategoryTheory.Localization.Monoidal.id_tensorHom

Modification history