mathlib

159e34ee - Revert "feat(field_theory/intermediate_field): generalize `algebra` instances"