feat(ring_theory/integral_closure): integral closure (#1087)
feat(ring_theory/integral_closure): integral closure (#1087)

* feat(ring_theory/integral_closure): integral closure

* update

leanprover-community/mathlib,leanprover-community/mathlib