Tools built on top of Mathlib's linear_algebra.clifford_algebra #

Many things here may become "generalized out" as mathlib grows, or end up being PR'd upstream