P
Initializing...
A type II\* ($E_8$) fibre has $\operatorname{ord}_{t_0}\Delta = 10$ · Prove2Me