P
Initializing...
A positive eigenvalue of an area-preserving linear map of the plane is 1 when the twist form has constant sign near the eigenvector · Prove2Me