Prove ElementaryPositivity (openai/math family 169: The Shareshian–Wachs $e$-positivity conjecture) in Lean…
Prove ElementaryPositivity (openai/math family 169: The Shareshian–Wachs $e$-positivity conjecture) in Lean…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 169 of the release, The Shareshian–Wachs $e$-positivity conjecture (Combinatorics)…
The task
Context: this statement belongs to family 169 of the release, *The Shareshian–Wachs $e$-positivity conjecture* (Combinatorics). The family as a whole: Resolves the elementary-positivity part of the Shareshian–Wachs conjecture: the chromatic quasisymmetric function of every natural unit interval graph has…
Part of raising-heart/openai-math.