P
Initializing...
$\mathbf{T}_\Sigma(Z)^{\wp}$ as a regular algebra; interpretation · Prove2Me