1 problem

Let $F$ be a combination of multiple polylogarithms of weight four, let $\mathcal{S}(F)$ denote its symbol, and define … where $a\wedge b=a\otimes b-b\otimes a$. Goncharov's criter…