Theorem DirSupInacc.dirSupInaccOn

Modification history

2026-04-03 20:24

Mathlib/Order/DirSupClosed.lean

feat: `DirSupClosedOn` (#37616) …

Modified DirSupInacc.dirSupInaccOn View on Github →

2026-03-27 16:34

Mathlib/Order/DirSupClosed.lean

chore: new file for sets closed under directed suprema (#37273) …

Modified DirSupInacc.dirSupInaccOn View on Github →

2024-10-13 23:54

Mathlib/Topology/Order/ScottTopology.lean

refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology (#16523) …

Added DirSupInacc.dirSupInaccOn View on Github →