P

Initializing...

Tate table: type II has $\operatorname{ord}\Delta = 2$ · Prove2Me