Theorem Cardinal.Real.Ico_countable_iff

Modification history

2025-09-12 10:33
Mathlib/Analysis/Real/Cardinality.lean
feat: countable metric spaces are totally disconnected (#29211) …
Added Cardinal.Real.Ico_countable_iffView on Github →