The Galois Connection between IntermediateFields(E,F) and Subgroups of Aut(E,F) (Formalized Mathematics, 2026)