Theorem TopologicalSpace.Closeds.isClosed

Modification history

2025-04-21 22:11
Mathlib/Topology/Sets/Closeds.lean
chore(Closeds): rename the structure field (#24234) …
Added TopologicalSpace.Closeds.isClosedView on Github →