P
Initializing...
The constant loop π·Id gives a nondegenerate asymptotic operator in every dimension · Prove2Me