P
Initializing...
Proposition 3.29: basic terms are recognizable · Prove2Me