Commit 2026-05-29 13:23 f3e307e4
View on Github →chore(Order/Filter/Basic): use to_dual for ≤ᶠ (#37753)
Use to_dual on lemmas about EventuallyLE.
Remove some trans tags, as there should only be one per relation.
chore(Order/Filter/Basic): use to_dual for ≤ᶠ (#37753)
Use to_dual on lemmas about EventuallyLE.
Remove some trans tags, as there should only be one per relation.