[Merged by Bors] - feat(GeneralLinearGroup/FinTwo): the addChar sending x to [1,x;0,1]#30475
Closed
loefflerd wants to merge 5 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(GeneralLinearGroup/FinTwo): the addChar sending x to [1,x;0,1]#30475loefflerd wants to merge 5 commits intoleanprover-community:masterfrom
loefflerd wants to merge 5 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 12, 2025
Commits on Oct 13, 2025
- andauthored
- committed
- committed
