P

Initializing...

Tate table: type III\* ($E_7$) has $\operatorname{ord}\Delta = 9$ · Prove2Me