This is an ongoing project to formalize some basic deformation theory of Galois representations, following Modular Forms and Fermat's Last Theorem (Cornell, Silverman and Stevens)
This is an ongoing project to formalize some basic deformation theory of Galois representations, following Modular Forms and Fermat's Last Theorem (Cornell, Silverman and Stevens)