Theorem 1 (i) with the exact degree, for positive line sums (Spencer's elementary route, formalised)

Initializing...

Theorem 1 (i) with the exact degree, for positive line sums (Spencer's elementary route, formalised) · Prove2Me