P
Initializing...
Theorem A at fixed $\lambda \in (0,1)$ for an abstract zero configuration · Prove2Me