Theorem Filter.mem_sSup

Modification history

2024-10-19 06:27

Mathlib/Order/Filter/Basic.lean

refactor(Order/Filter): don't use `generate` for `CompleteLattice` (#17799)

Modified Filter.mem_sSup View on Github →

2023-05-14 07:05

Mathlib/Order/Filter/Basic.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added Filter.mem_sSup View on Github →