[Merged by Bors] - feat: strengthen Cayley-Hamilton#37872
Closed
artie2000 wants to merge 23 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat: strengthen Cayley-Hamilton#37872artie2000 wants to merge 23 commits intoleanprover-community:masterfrom
artie2000 wants to merge 23 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 10, 2026
- committed
- committed
- authored
- authored
Commits on Apr 11, 2026
Commits on Apr 14, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Apr 17, 2026
- committed
- committed
- committed
- authored
- committed
- committed
