mathlib3
5b6bc7b0
- feat(ring_theory): PIDs are Dedekind domains
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(ring_theory): PIDs are Dedekind domains
Author
Vierkantor
Committer
Vierkantor
Parents
28c57ffd
Loading
