Mathlib v3 is deprecated. Go to Mathlib v4

Theorem clifford_algebra.equiv_of_isometry_trans

Modification history

2021-06-30 11:26

src/linear_algebra/clifford_algebra/basic.lean

feat(linear_algebra/clifford_algebra): two algebras are isomorphic if their quadratic forms are equivalent (#8128)

Added clifford_algebra.equiv_of_isometry_trans View on Github →