# Commit 2021-08-18 07:53 41f7b5ba

View on Github →feat(linear_algebra/clifford_algebra/equivs): there is a clifford algebra isomorphic to every quaternion algebra (#8670) The proofs are not particularly fast here unfortunately.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(linear_algebra/clifford_algebra/equivs): there is a clifford algebra isomorphic to every quaternion algebra (#8670) The proofs are not particularly fast here unfortunately.