Equation 879 !=> 4065

Stream: Equational

[Pace Nielsen]

If I made no mistakes, extending partial solutions of a noncommutative translation-invariant binary operation works here. The case analysis was tricky, so I hope I didn't miss any side cases.

Equation879.pdf
Equation879.tex

[Terence Tao]

opened equational#633 for this, and added it as a conjecture