P
Initializing...
The asymptotic operator has an orthonormal eigenbasis with discrete spectrum · Prove2Me