Def Topology.ClosureCompl.theClosedSix

Modification history

2025-09-02 18:25

Archive/Examples/Kuratowski.lean

feat(Archive): Kuratowski's closure-complement theorem (incl. sharpness) (#27090) …

Added Topology.ClosureCompl.theClosedSix View on Github →