P
Initializing...
The regular signature $\mathrm{Reg}(S,\Sigma,Z)$ · Prove2Me