Theorem OreLocalization.nonempty_oreSet_iff

Modification history

2025-04-11 17:23
Mathlib/RingTheory/OreLocalization/OreSet.lean
feat: generalize rest of Mathlib.RingTheory (#23194) …
Modified OreLocalization.nonempty_oreSet_iffView on Github →
2024-04-12 15:16
Mathlib/RingTheory/OreLocalization/OreSet.lean
feat: Generalize corollaries of rank-nullity theorem. (#9626) …
Added OreLocalization.nonempty_oreSet_iffView on Github →