P

Initializing...

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