P
Initializing...
Optimality condition (Prop. 7.2.1(d)) · Prove2Me