Theorem TopologicalSpace.mkOfClosure_sets

Modification history

2026-03-05 10:25
Mathlib/Topology/Order.lean
chore(*): reduce defeq abuse about `Set` (#36152) …
Modified TopologicalSpace.mkOfClosure_setsView on Github →
2023-01-31 11:16
Mathlib/Topology/Order.lean
feat: port Topology.Order (#1843)
Added TopologicalSpace.mkOfClosure_setsView on Github →