equivs): there is a clifford algebra isomorphic to every quaternion algebra (#8670)

Commit

4 years ago

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.

Author

eric-wieser

Parents

40b7dc75

mathlib 41f7b5ba - feat(linear_algebra/clifford_algebra/equivs): there is a clifford algebra isomorphic to every quaternion algebra (#8670)

mathlib
41f7b5ba - feat(linear_algebra/clifford_algebra/equivs): there is a clifford algebra isomorphic to every quaternion algebra (#8670)