Theorem Filter.EventuallyEq.inf

Modification history

2023-02-28 01:55

Mathlib/Order/Filter/Basic.lean

refactor: rename `HasSup`/`HasInf` to `Sup`/`Inf` (#2475)

Modified Filter.EventuallyEq.inf View on Github →

2023-01-23 08:16

Mathlib/Order/Filter/Basic.lean

Feat: port Order.Filter.Basic (#1750)

Added Filter.EventuallyEq.inf View on Github →