mathlib

442ef226 - feat(linear_algebra/clifford_algebra): Add a definition derived from exterior_algebra.lean (#4430)