feat(Order/CompleteLatticeIntervals): ConditionallyCompleteLinearOrderBot for Set.Iio#38266
Open
staroperator wants to merge 2 commits intoleanprover-community:masterfrom
Open
feat(Order/CompleteLatticeIntervals): ConditionallyCompleteLinearOrderBot for Set.Iio#38266staroperator wants to merge 2 commits intoleanprover-community:masterfrom
ConditionallyCompleteLinearOrderBot for Set.Iio#38266staroperator wants to merge 2 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 20, 2026
- committed
- committed
