Theorem CliffordAlgebra.ι_sq_scalar

Modification history

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