Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-05 12:24 a0cb45fe

View on Github →

feat(linear_algebra/clifford_algebra): the reals and complex numbers have isomorphic real clifford algebras (#8165)

Estimated changes