mathlib

4b525bf2 - feat(field_theory/intermediate_field): generalize `algebra` instances

feat(field_theory/intermediate_field): generalize `algebra` instances The `algebra` and `is_scalar_tower` instances for `intermediate_field` are (again) as general as those for `subalgebra`.