Theorem Ring.ord_neg

Modification history

2026-06-02 06:43
Mathlib/RingTheory/OrderOfVanishing/Basic.lean
chore: add space when missing in front of `:=` (#40141)
Modified Ring.ord_negView on Github →
2026-04-14 10:54
Mathlib/RingTheory/OrderOfVanishing/Basic.lean
feat(RingTheory): Order of vanishing in a discrete valuation ring (#29550) …
Added Ring.ord_negView on Github →