2022-01-31 14:14
src/linear_algebra/clifford_algebra/grading.lean
feat(linear_algebra/{tensor,exterior,clifford}_algebra): these algebras are graded by powers of the submodules of their generators (#11542) …
Added clifford_algebra.range_ι_le_even_odd_one