Introduction to Galois Theory (Formalized Mathematics, 2025)