Theorem CategoryTheory.Localization.Monoidal.μ_natural_right

Modification history