Mathlib v3 is deprecated. Go to Mathlib v4

Theorem clifford_algebra.map_id

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.map_id View on Github →