P
Initializing...
The asymptotic operator has compact resolvent · Prove2Me