Update src/field_theory/adjoin.lean

Commit

3 years ago

Update src/field_theory/adjoin.lean Co-authored-by: tb65536 <tb65536@users.noreply.github.com>

References

Author

Sebastian-Monnet

Parents

mathlib3 6216f91e - Update src/field_theory/adjoin.lean