Theorem CliffordAlgebraDualNumber.equiv_ι

Modification history

2026-06-23 00:12
Mathlib/LinearAlgebra/CliffordAlgebra/Equivs.lean
refactor: switch from RingQuot to RingCon.Quotient (#40451) …
Modified CliffordAlgebraDualNumber.equiv_ιView on Github →
2023-06-24 09:34
Mathlib/LinearAlgebra/CliffordAlgebra/Equivs.lean
feat: port LinearAlgebra.CliffordAlgebra.Equivs (#5443)
Added CliffordAlgebraDualNumber.equiv_ιView on Github →