Theorem clusterPt_principal

Modification history

2025-04-08 01:10

Mathlib/Topology/Basic.lean

chore: split `Topology.Basic` (#23717) …

Modified clusterPt_principal View on Github →

2024-10-25 20:32

Mathlib/Topology/Basic.lean

feat(SetTheory/Ordinal/Topology): define Ordinal.IsClosed and Ordinal.IsAcc (#16710) …

Added clusterPt_principal View on Github →