P
Initializing...
Descent of a residual representation to Gal(L₀/ℚ) · Prove2Me