Mathlib v3 is deprecated. Go to Mathlib v4

Theorem intermediate_field.adjoin_simple_to_subalgebra_of_integral

Modification history

2020-11-13 19:42
src/field_theory/adjoin.lean
feat(field_theory/adjoin): Adjoin integral element (#4831)
Added intermediate_field.adjoin_simple_to_subalgebra_of_integralView on Github →