P

Initializing...

Root conflict for $P_n\cdot T$: tree-safe words meet $\{2N+2,3N+3,2T-1,3T-2\}$ · Prove2Me