P
Initializing...
Reflection invariance $\Delta(Q - \alpha) = \Delta(\alpha)$ · Prove2Me