mathlib
30467f4b - feat(field_theory/adjoin): induction on adjoin (#5173)

Commit

5 years ago

feat(field_theory/adjoin): induction on adjoin (#5173) This is another adjoin induction lemma that will be used in an upcoming PR.

Author

tb65536

Parents