Theorem CliffordAlgebra.even.lift.aux_ι

Modification history

2026-06-23 00:12
Mathlib/LinearAlgebra/CliffordAlgebra/Even.lean
refactor: switch from RingQuot to RingCon.Quotient (#40451) …
Modified CliffordAlgebra.even.lift.aux_ιView on Github →
2023-06-29 18:19
Mathlib/LinearAlgebra/CliffordAlgebra/Even.lean
feat: port LinearAlgebra.CliffordAlgebra.Even (#5408)
Added CliffordAlgebra.even.lift.aux_ιView on Github →