P
Initializing...
The free many-sorted algebra $\mathbf{T}_\Sigma(X)$ · Prove2Me