Theorem OreLocalization.oreSetComm_oreDenom

Modification history

2025-12-28 17:51
Mathlib/GroupTheory/OreLocalization/OreSet.lean
chore: unify `LocalizedModule` and `OreLocalization` (#31862) …
Added OreLocalization.oreSetComm_oreDenomView on Github →