Theorem CliffordAlgebra.forall_mul_self_eq_iff

Modification history

2023-09-16 17:31
Mathlib/LinearAlgebra/CliffordAlgebra/Basic.lean
feat: base change of Clifford algebras (#6778) …
Added CliffordAlgebra.forall_mul_self_eq_iffView on Github →