Def OreLocalization.oreSetOfIsCancelMulZero

Modification history

2026-01-20 16:34
Mathlib/RingTheory/OreLocalization/OreSet.lean
chore(Algebra): deprecate `CancelMonoidWithZero` (#33851) …
Added OreLocalization.oreSetOfIsCancelMulZeroView on Github →