K-formality of connected subgraph arrangements
Prove that every connected subgraph arrangement is k-formal for every k.
References
Conjecture 8.3. Any AG is k-formal for any k.
— On connected subgraph arrangements
(2502.18144 - Giordani et al., 25 Feb 2025) in Section 8, immediately after the proof of Theorem 1.9, p. 23