feat(ring_theory/integral_closure): Supremum of integral subalgebras (#10935)
feat(ring_theory/integral_closure): Supremum of integral subalgebras (#10935)

The supremum of integral subalgebras is integral.





leanprover-community/mathlib,leanprover-community/mathlib