mathlib3
efed3cad - feat(field_theory/intermediate_field): Add lemma for the `field_range` of `val` (#18940)

Commit

2 years ago

feat(field_theory/intermediate_field): Add lemma for the `field_range` of `val` (#18940) This PR adds a simple lemma for the `field_range` of `val`.

Author

tb65536

Parents