mathlib3
219e2981 - feat(ring_theory/discrete_valuation_ring): add DVR (#3476)

Commit

6 years ago

feat(ring_theory/discrete_valuation_ring): add DVR (#3476) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kbuzzard

Parents