identity projection
intprojection n integer projection of size n
intprojection n
n
Representation of a PEF package.