P
Initializing...
A transverse scalar equation gives a unique twice differentiable event branch · Prove2Me