Def exterior_algebra.graded_algebra.ι

feat(linear_algebra/{tensor,exterior,clifford}_algebra): these algebras are graded by powers of the submodules of their generators (#11542) …