Def OreLocalization.oreDenom

Modification history

2022-12-30 14:14

Mathlib/RingTheory/OreLocalization/OreSet.lean

feat: port RingTheory.OreLocalization.OreSet (#1266)

Added OreLocalization.oreDenom View on Github →