P
Initializing...
Pontryagin Minimum Principle (Prop. 3.3.1) · Prove2Me