Def CliffordAlgebra

Modification history

2026-06-23 00:12
Mathlib/LinearAlgebra/CliffordAlgebra/Basic.lean
refactor: switch from RingQuot to RingCon.Quotient (#40451) …
Modified CliffordAlgebraView on Github →
2023-06-22 04:55
Mathlib/LinearAlgebra/CliffordAlgebra/Basic.lean
feat: port LinearAlgebra.CliffordAlgebra.Basic (#4802)
Added CliffordAlgebraView on Github →