mathlib3
7555ea78 - feat(ring_theory/integral_closure): Supremum of integral subalgebras (#10935)

Commit

4 years ago

feat(ring_theory/integral_closure): Supremum of integral subalgebras (#10935) The supremum of integral subalgebras is integral.

Author

tb65536

Parents