Theorem CategoryTheory.Localization.Monoidal.μ_natural_left

Modification history