[Merged by Bors] - feat: Killing orthogonal complement is complement#34856
Closed
jano-wol wants to merge 7 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat: Killing orthogonal complement is complement#34856jano-wol wants to merge 7 commits intoleanprover-community:masterfrom
jano-wol wants to merge 7 commits intoleanprover-community:masterfrom
Commits
Commits on Feb 4, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Feb 5, 2026
- committed
Commits on Feb 17, 2026
- andauthored
