The number operator is a projection: `N² = N`; its eigenvalues are `0` and `1`, the fermionic occupation numbers

Initializing...

The number operator is a projection: `N² = N`; its eigenvalues are `0` and `1`, the fermionic occupation numbers · Prove2Me