P

Initializing...

Theorem 1 — min{dim 𝒴, rk Q} + 1 policies attain the optimal value of 𝒫𝒪 · Prove2Me