P
Initializing...
VII16R main theorem (§1 signature, unchanged) · Prove2Me