Manuscript VII-C@1 · VII-C.tex · section · 8b2ade29
Consequence for algebra extensions
The continuity obstruction › Consequence for algebra extensions · lines 1515–1522
Theorem thm:main follows from Lemma lem:normalconv, Theorem thm:log, Lemma lem:separated, and Theorem thm:coefficient.