Mathlib v3 is deprecated. Go to Mathlib v4

Theorem alg_hom.field_range_eq_map

Modification history

2022-08-17 22:03
src/field_theory/adjoin.lean
feat(field_theory/intermediate_field): Add `alg_hom.field_range` (#16078) …
Added alg_hom.field_range_eq_mapView on Github →