mathlib
b7e3d151 - feat(ring_theory/dedekind_domain) : add ideal lemmas

Commit

3 years ago

feat(ring_theory/dedekind_domain) : add ideal lemmas

Author

mariainesdff

mariainesdff

Parents

Loading