Theorem Set.Ici_True

Modification history

2024-09-17 11:41
Mathlib/Order/Interval/Set/Basic.lean
feat(Topology/Order): Sierpiński space classifies open sets of Scott topology (#16826) …
Added Set.Ici_TrueView on Github →