P
Initializing...
Theorem A at fixed $\lambda \in (0,1)$ modulo the thm:traces hypothesis · Prove2Me