Commit 2022-06-27 07:39 af8ca85d
View on Github →fix(linear_algebra/{exterior,clifford}_algebra/basic): add some missing namespaces (#14975)
These lemmas are about the auxiliary {exterior,clifford}_algebra.graded_algebra.ι
not {exterior,clifford}_algebra.ι
, so should have graded_algebra
in their names.
This is a follow up to #12182