Theorem Filter.EventuallyLE.ge_iff_eq

Modification history

2026-05-29 13:23
Mathlib/Order/Filter/Basic.lean
chore(Order/Filter/Basic): use `to_dual` for `≤ᶠ` (#37753) …
Added Filter.EventuallyLE.ge_iff_eqView on Github →