P
Initializing...
Theorem 1.1's enlarged-ball form, under a configuration split by a hyperplane · Prove2Me