The Fundamental Theorem of Galois Theory. - Schwarzweller, Christoph (Formalized Mathematics, 2026)