P
Initializing...
The hypothesis bundle of the main theorem is non-empty (zero tangent) · Prove2Me