I am learning geometric algebra, and meet an identy of (edited according to Andrey's comments below) $$ (a\wedge b)\cdot(c\wedge d) = (a \cdot d)(b\cdot c) - (a \cdot c)(b \cdot d)$$ as in wiki ...
By a Banach space $X$ I mean, a complete normed vector space and by a Clifford isometry I mean a surjective isometry $\gamma$ of $X$ such that the distance $d(\gamma x, x)$ is constant on $X$. ...
The title of the question already says it all but I would like to add that I would really like the book to be more about geometric algebra than its applications : it should contain theorems' proofs. ...