Documentation

Mathlib.Algebra.Module.LocalizedModule.IsLocalization

Equivalence between IsLocalizedModule and IsLocalization #