Key points are not available for this paper at this time.
Summary In this article we prove the Fundamental Theorem of Galois Theory using the Mizar formalism.
Christoph Schwarzweller (Mon,) studied this question.