P
Initializing...
An arbitrarily small compact core under a uniform future product bound · Prove2Me