P
Initializing...
$r_3(N)$ is Mathlib's Roth number · Prove2Me