P
Initializing...
Definition 2.5: existence and uniqueness of the Reeb vector · Prove2Me