Commit 2025-04-01 09:38 25dea4a7

View on Github →

chore(LinearAlgebra/CliffordAlgebra): process some porting notes (#23526)

Estimated changes

Modified Mathlib/LinearAlgebra/CliffordAlgebra/Basic.lean

Modified Mathlib/LinearAlgebra/CliffordAlgebra/Contraction.lean

Modified Mathlib/LinearAlgebra/CliffordAlgebra/Equivs.lean

modified theorem CliffordAlgebraComplex.reverse_apply

Modified Mathlib/LinearAlgebra/CliffordAlgebra/Even.lean

modified structure CliffordAlgebra.EvenHom