P
Initializing...
Complete one-colour formula for all $m \ge 2$ and $\ell \ge 2$ · Prove2Me