Commit 2025-12-26 22:32 19ad365f
View on Github →chore(Order/Directed): use to_dual (#32459)
I've made an effort to dualize specifically lemmas about directed (· ≤ ·), so as to reduce the number of appearances of ≥ in code.
chore(Order/Directed): use to_dual (#32459)
I've made an effort to dualize specifically lemmas about directed (· ≤ ·), so as to reduce the number of appearances of ≥ in code.