P
Initializing...
The reference first-return time and map are twice continuously differentiable · Prove2Me