refactor(Order/SuccPred): simplify toZ_mono via contrapositive#38939
Closed
pbalogh wants to merge 1 commit intoleanprover-community:masterfrom
Closed
refactor(Order/SuccPred): simplify toZ_mono via contrapositive#38939pbalogh wants to merge 1 commit intoleanprover-community:masterfrom
pbalogh wants to merge 1 commit intoleanprover-community:masterfrom
Commits
Commits on May 4, 2026
- committed
Peter Balogh