P
Initializing...
Asymptotic operators with a large antilinear term are nondegenerate · Prove2Me