P
Initializing...
Bounded operators of finite rank are compact · Prove2Me