`FormalConjecturesForMathlib/Topology/`

52 declarations, 0 contain sorry, 0 declared as axioms; 12 files

Folders

Algebra/ 3 files, 3 declarations
MetricSpace/ 3 files, 17 declarations

Files

AbsoluteNeighborhoodRetract.lean 1 declarations
CardinalInvariants.lean 24 declarations
Discrete.lean 2 declarations
GDelta.lean 2 declarations
Homogeneous.lean 1 declarations
LebesgueCoveringDimension.lean 2 declarations