Theorem CategoryTheory.Localization.Monoidal.rightUnitor_hom_app

Modification history