lean.golf
hole05

waerden

medium

Van der Waerden's : however you 2-color through , some three-term arithmetic progression comes out monochromatic. Nine is sharp, since coloring through as RRBBRRBB leaves no progression in either color.

tactics allowed
10 bytes · 10 chars