Mathlib v3 is deprecated. Go to Mathlib v4

Def clifford_algebra_complex.to_complex

Modification history

2021-08-05 12:24

src/linear_algebra/clifford_algebra/equivs.lean

feat(linear_algebra/clifford_algebra): the reals and complex numbers have isomorphic real clifford algebras (#8165)

Added clifford_algebra_complex.to_complex View on Github →