P
Initializing...
Galois descent for $E/2E$: finiteness over $K$ implies finiteness over $\mathbb{Q}$ · Prove2Me