P
Initializing...
Proposition 6 — Bellman's equation J* = T(J*) and maximality of J* under D and D.1 · Prove2Me