P
Initializing...
Countably many orthogonal isometries summing to one in the properly infinite case · Prove2Me