Def clifford_algebra.equiv_of_isometry

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.equiv_of_isometryView on Github →