Mathlib v3 is deprecated. Go to Mathlib v4

Theorem clifford_algebra_complex.Q_apply

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