Theorem CliffordAlgebra.even.algHom_ext

Modification history

2023-06-29 18:19

Mathlib/LinearAlgebra/CliffordAlgebra/Even.lean

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

Added CliffordAlgebra.even.algHom_ext View on Github →