feat(field_theory/subfield): is_subfield.inter and is_subfield.Inter (#2562)
feat(field_theory/subfield): is_subfield.inter and is_subfield.Inter (#2562)

Prove that intersection of subfields is subfield.





leanprover-community/mathlib,leanprover-community/mathlib