P

Initializing...

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