Theorem CategoryTheory.Localization.Monoidal.rightUnitor_naturality

Modification history