mathlib into dedekind-domain-dev

Commit

5 years ago

Merge branch 'dedekind-domain-dev' of https://github.com/leanprover-community/mathlib into dedekind-domain-dev

Author

faenuccio

Parents