P
Initializing...
Triangular tail substitutions satisfy the weighted support bound · Prove2Me