Theorem CategoryTheory.Localization.Monoidal.leftUnitor_hom_app

Modification history