Def clifford_algebra_complex.Q

Modification history

2021-12-22 23:07
src/linear_algebra/clifford_algebra/equivs.lean
feat(quadratic_form/prod): quadratic forms on product and pi types (#10939) …
Modified clifford_algebra_complex.QView on Github →
2021-08-05 12:24
src/linear_algebra/clifford_algebra/equivs.lean
feat(linear_algebra/clifford_algebra): the reals and complex numbers have isomorphic real clifford algebras (#8165)
Added clifford_algebra_complex.QView on Github →