Def IsLocalization.localizationLocalizationSubmodule

Modification history

2023-05-22 03:13

Mathlib/RingTheory/Localization/LocalizationLocalization.lean

feat: port RingTheory.Localization.LocalizationLocalization (#4137)

Added IsLocalization.localizationLocalizationSubmodule View on Github →