Theorem dirSupInaccOn_univ

Modification history

2026-03-27 16:34
Mathlib/Order/DirSupClosed.lean
chore: new file for sets closed under directed suprema (#37273) …
Modified dirSupInaccOn_univView on Github →
2024-10-13 23:54
Mathlib/Topology/Order/ScottTopology.lean
refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology (#16523) …
Added dirSupInaccOn_univView on Github →