Theorem IsLocalization.isNoetherianRing

Modification history

2023-04-19 11:04

Mathlib/RingTheory/Localization/Submodule.lean

feat: port RingTheory.Localization.Submodule (#3514)

Added IsLocalization.isNoetherianRing View on Github →