Theorem CategoryTheory.Localization.Monoidal.μ_inv_natural_right

Modification history