APA (7th ed.) Citation
(2026). The Galois Connection between IntermediateFields(E,F) and Subgroups of Aut(E,F). Formalized Mathematics.
Chicago Style (17th ed.) Citation
"The Galois Connection Between IntermediateFields(E,F) and Subgroups of Aut(E,F)." Formalized Mathematics 2026.
MLA (9th ed.) Citation
"The Galois Connection Between IntermediateFields(E,F) and Subgroups of Aut(E,F)." Formalized Mathematics, 2026.
Warning: These citations may not always be 100% accurate.