Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
tensor_algebra.graded_algebra.ι_apply
Modification history
2022-01-31 14:14
src/linear_algebra/tensor_algebra/grading.lean
feat(linear_algebra/{tensor,exterior,clifford}_algebra): these algebras are graded by powers of the submodules of their generators (#11542) …
Added
tensor_algebra.graded_algebra.ι_apply
View on Github →