Infinite Galois Theory

Formalizing infinite Galois theory in LEAN

For blueprint, please visit https://mbkybky.github.io/InfiniteGaloisTheory/blueprint/.

For pdf version of blueprint, please visit https://mbkybky.github.io/InfiniteGaloisTheory/blueprint.pdf.

For API documentation, please visit https://mbkybky.github.io/InfiniteGaloisTheory/docs/.