This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(linear_algebra/clifford): make clifford_algebra irreducible in a Lean4 compatible way#18179
Closed
sgouezel wants to merge 4 commits intomasterfrom SG_irred_clifford
+149-21
Commits
Commits on Jan 15, 2023
- committed
- committed
- committed
- committed
