P
Initializing...
Quantisation of the real branch: a candidate with real exponential has $|u|^2 > \pi^2$ · Prove2Me