feat(Order/Completion): embed a linear order into a dense and complete linear order#37939
Open
AntoineChambert-Loir wants to merge 28 commits intoleanprover-community:masterfrom
Open
feat(Order/Completion): embed a linear order into a dense and complete linear order#37939AntoineChambert-Loir wants to merge 28 commits intoleanprover-community:masterfrom
AntoineChambert-Loir wants to merge 28 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 11, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
Commits on Apr 12, 2026
Commits on Apr 15, 2026
- committed
Commits on Apr 17, 2026
- committed
- authored
- committed
- committed
- committed
- committed
- committed
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}