mathlib3
a0f12bc1 - feat(field_theory/adjoin): Supremum of finite dimensional intermediate fields (#10938)

Commit

4 years ago

feat(field_theory/adjoin): Supremum of finite dimensional intermediate fields (#10938) The supremum of finite dimensional intermediate fields is finite dimensional.

Author

tb65536

Parents

084b1ac2

mathlib3 a0f12bc1 - feat(field_theory/adjoin): Supremum of finite dimensional intermediate fields (#10938)

mathlib3
a0f12bc1 - feat(field_theory/adjoin): Supremum of finite dimensional intermediate fields (#10938)