Theorem CliffordAlgebra.reverse.map_one

Modification history

2025-03-29 19:12
Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean
refactor: protect `map_mul` lemmas (#23403) …
Deleted CliffordAlgebra.reverse.map_oneView on Github →
2023-09-08 14:39
Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean
refactor(LinearAlgebra/CliffordAlgebra/Conjugation): expose implementation details of 'reverse' (#6783) …
Modified CliffordAlgebra.reverse.map_oneView on Github →
2023-08-25 10:49
Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean
chore(LinearAlgebra/CliffordAlgebra): remove `Q := Q` (#6780) …
Modified CliffordAlgebra.reverse.map_oneView on Github →
2023-06-23 06:08
Mathlib/LinearAlgebra/CliffordAlgebra/Conjugation.lean
feat: port LinearAlgebra.CliffordAlgebra.Conjugation (#5404) …
Added CliffordAlgebra.reverse.map_oneView on Github →