P
Initializing...
Subpower bound $\lesssim_\delta$ · Prove2Me