Def CliffordAlgebra.reverse

Modification history

2023-06-23 06:08

Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean

feat: port LinearAlgebra.CliffordAlgebra.Conjugation (#5404) …

Added CliffordAlgebra.reverse View on Github →