Theorem CliffordAlgebra.reverse.commutes

Modification history

2023-06-23 06:08

Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean

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

Added CliffordAlgebra.reverse.commutes View on Github →