mathlib

dffb09ad - feat(linear_algebra/{clifford,exterior,tensor,free}_algebra): provide canonical images from larger algebras into smaller ones (#5745)

feat(linear_algebra/{clifford,exterior,tensor,free}_algebra): provide canonical images from larger algebras into smaller ones (#5745) This adds: * `free_algebra.to_tensor` * `tensor_algebra.to_exterior` * `tensor_algebra.to_clifford` Providing the injection in the other direction is more challenging, so is left as future work.