Theorem Set.Iic_True

Modification history

2026-10-27 14:54
Mathlib/Order/Interval/Set/Basic.lean
chore: decapitalize `True`/`False` in theorem names (#45349) …
Deleted Set.Iic_TrueView on Github →
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.Iic_TrueView on Github →