P
Initializing...
Closure under absorption of half-factors · Prove2Me