Def CliffordAlgebra.even

Modification history

2023-06-29 18:19

Mathlib/LinearAlgebra/CliffordAlgebra/Even.lean

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

Added CliffordAlgebra.even View on Github →