Theorem CliffordAlgebra.reverseOpEquiv_opComm

Modification history

2023-09-08 14:39
Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean
refactor(LinearAlgebra/CliffordAlgebra/Conjugation): expose implementation details of 'reverse' (#6783) …
Added CliffordAlgebra.reverseOpEquiv_opCommView on Github →