P
Initializing...
Theorem 1.1's enlarged-ball form, under local domination with a pointwise radius · Prove2Me