Mathlib Changelog
v4
Changelog
About
Github
Theorem
CliffordAlgebra.ofBaseChange_comp_toBaseChange
Modification history
2023-09-16 17:31
Mathlib/LinearAlgebra/CliffordAlgebra/BaseChange.lean
feat: base change of Clifford algebras (#6778) …
Added
CliffordAlgebra.ofBaseChange_comp_toBaseChange
View on Github →