Brumer's theorem, Lemme 3: one extrapolation step by the $p$-adic Schwarz lemma and the size inequality

Initializing...

Brumer's theorem, Lemme 3: one extrapolation step by the $p$-adic Schwarz lemma and the size inequality · Prove2Me