En théorie des nombres, plus spécifiquement en analyse p-adique, le lemme de Krasner est un résultat de base, dû à Marc Krasner, reliant la topologie d'un corps non archimédien complet à ses extensions algébriques.
Developed by Nelliwinne