Theorem OreLocalization.oreSetComm_oreNum

Modification history

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