The universal property of the even subalgebra #

This file is now a stub, as the results are now available upstream in linear_algebra/clifford_algebra/even