Mathlib v3 is deprecated. Go to Mathlib v4

Theorem clifford_algebra_ring.ι_eq_zero

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_ring.ι_eq_zero View on Github →