Théorème de de Smit et Lenstra, démonstration élémentaire
Henri Lombardi, Claude Quitté
Abstract
We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant"
