Def CliffordAlgebra.toBaseChange

Modification history

2025-07-05 22:35
Mathlib/LinearAlgebra/CliffordAlgebra/BaseChange.lean
chore(LinearAlgebra): remove workarounds for compilation performance issues (#26786) …
Added CliffordAlgebra.toBaseChangeView on Github →
2023-09-20 09:16
Mathlib/LinearAlgebra/CliffordAlgebra/BaseChange.lean
perf: make `QuadraticForm.tensorDistrib` noncomputable (#7265) …
Deleted CliffordAlgebra.toBaseChangeView on Github →
2023-09-16 17:31
Mathlib/LinearAlgebra/CliffordAlgebra/BaseChange.lean
feat: base change of Clifford algebras (#6778) …
Added CliffordAlgebra.toBaseChangeView on Github →