Def CliffordAlgebra.even.lift

Modification history

2023-06-29 18:19

Mathlib/LinearAlgebra/CliffordAlgebra/Even.lean

feat: port LinearAlgebra.CliffordAlgebra.Even (#5408)

Added CliffordAlgebra.even.lift View on Github →