Theorem CliffordAlgebra.EquivEven.ι_eq_v_add_smul_e0

Modification history

2023-07-08 09:58
Mathlib/LinearAlgebra/CliffordAlgebra/EvenEquiv.lean
feat: port LinearAlgebra.CliffordAlgebra.EvenEquiv (#5600)
Added CliffordAlgebra.EquivEven.ι_eq_v_add_smul_e0View on Github →