Results about the grading structure of the exterior algebra #
Many of these results are copied with minimal modification from the tensor algebra.
The main result is
exterior_algebra.graded_algebra, which says that the exterior algebra is a
The exterior algebra is graded by the powers of the submodule