Small typo edits and moving a paragraph on CFR in poker into the section on CFR.
Edits.  Rewrote theorem statement.
Merge.