Def CliffordAlgebra.reverseOpEquiv

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 View on Github →