P
Initializing...
Main regularity theorem (sufficiency direction) · Prove2Me