An element of `(e) ^ j` defines an element of the `j`-th principal layer `(e)^j / (e)^(j+1)`.

Initializing...

An element of `(e) ^ j` defines an element of the `j`-th principal layer `(e)^j / (e)^(j+1)`. · Prove2Me