P
Initializing...
Theorem A (dyadic $2/3$ form) modulo the thm:traces hypothesis · Prove2Me