Theorem CategoryTheory.Localization.Monoidal.μ_inv_natural_left

Modification history