mathlib3
4a03991e - Move power basis of `intermediate_field.adjoin` to `field_theory/adjoin.lean`

Commit

4 years ago

Move power basis of `intermediate_field.adjoin` to `field_theory/adjoin.lean` This breaks an import cycle

Author

Vierkantor

Parents