P
Initializing...
Tate table: type IV\* ($E_6$) has $\operatorname{ord}\Delta = 8$ · Prove2Me