Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-29 14:37 cedf0220

View on Github →

feat(ring_theory/valuation/basic): add add_valuation.valuation (#12914)

Estimated changes