P
Initializing...
A window-complexity obstruction to primitive-word Syracuse realizability · Prove2Me