Def clifford_algebra.map

Modification history

2021-06-30 11:26
src/linear_algebra/clifford_algebra/basic.lean
feat(linear_algebra/clifford_algebra): two algebras are isomorphic if their quadratic forms are equivalent (#8128)
Added clifford_algebra.mapView on Github →