P
Initializing...
Reduction of Compact Bounds to the Regular Class · Prove2Me