P

Initializing...

Tate table: type II\* ($E_8$) has $\operatorname{ord}\Delta = 10$ · Prove2Me