[Merged by Bors] - feat(LinearAlgebra/CliffordAlgebra): port SpinGroup#9111
Closed
utensil wants to merge 58 commits intomasterfrom utensil/SpinGroup
Commits
Commits on Dec 15, 2023
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 16, 2023
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Dec 17, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'eric-wieser/clifford-more-inversion' of https://github.com/leanprover-community/mathlib4 into utensil/SpinGroup
committed- committed
- committed
Commits on Dec 18, 2023
Commits on Dec 19, 2023
Commits on Dec 23, 2023
Commits on Feb 28, 2024
- authored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 12, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Mar 21, 2024
Commits on Mar 26, 2024
Commits on Mar 30, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Mar 31, 2024
- committed
- committed