Theorem CategoryTheory.Localization.Monoidal.leftUnitor_naturality

Modification history