sum of combinatorial games

  1. REDIRECT Disjunctive sum

{{R from merge}}