Def CliffordAlgebra.EquivEven.e0

Modification history

2023-07-08 09:58

Mathlib/LinearAlgebra/CliffordAlgebra/EvenEquiv.lean

feat: port LinearAlgebra.CliffordAlgebra.EvenEquiv (#5600)

Added CliffordAlgebra.EquivEven.e0 View on Github →