P
Initializing...
A generalized almost complex structure has type at most $N$ · Prove2Me