P
Initializing...
Theorem 1.1's enlarged-ball form in the plane, unconditionally · Prove2Me