P
Initializing...
Main theorem on all of $U$ (negative spin) · Prove2Me