mathlib

af8ca85d - fix(linear_algebra/{exterior,clifford}_algebra/basic): add some missing namespaces (#14975)

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