The Fundamental Theorem of Galois Theory (Formalized Mathematics, 2026)