Mathlib Changelog
v4
Changelog
About
Github
Def
OreLocalization.oreSetOfIsCancelMulZero
Modification history
2026-01-20 16:34
Mathlib/RingTheory/OreLocalization/OreSet.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Added
OreLocalization.oreSetOfIsCancelMulZero
View on Github →