feat: generalize IsLUB.mem_of_not_isSuccPrelimit to LinearOrder#20502
Open
vihdzp wants to merge 7 commits intomasterfrom vi.limitLemmas
+41-14
Commits
Commits on Jan 6, 2025
- committed
- committed
- committed
Commits on Jan 13, 2025
Commits on Jan 19, 2025
- committed
- committed
- committed