Theorem Ideal.mem_of_localization_maximal

Modification history

2024-11-26 20:08
Mathlib/RingTheory/LocalProperties/Basic.lean
chore(RingTheory/Localization): golfs and generalizations (#19310) …
Added Ideal.mem_of_localization_maximalView on Github →