mathlib3
10a3d03b
- feat(ring_theory/valuation): Equivalent conditions of DVRs. (#15081)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(ring_theory/valuation): Equivalent conditions of DVRs. (#15081)
Author
erdOne
Parents
71a08c30
Loading
mathlib3
10a3d03b - feat(ring_theory/valuation): Equivalent conditions of DVRs. (#15081)
