Def OreLocalization.oreCondition
Modification history
2025-07-09 14:52
Mathlib/GroupTheory/OreLocalization/OreSet.lean
chore: space following `Σ` (#26932) …
Modified OreLocalization.oreConditionView on Github →2024-10-15 06:04
Mathlib/GroupTheory/OreLocalization/OreSet.lean
chore(RingTheory/OreLocalization): split into `GroupTheory.OreLocalization` (#17730) …
Modified OreLocalization.oreConditionView on Github →