mathlib into henselian-rings

Commit

5 years ago

Merge branch 'henselian-rings' of https://github.com/leanprover-community/mathlib into henselian-rings

Author

Ashwin Iyengar

Parents