Theorem Set.not_countable_univ_iff

Modification history

2024-11-04 13:07
Mathlib/Data/Set/Countable.lean
feat(Data/Real/Cardinality): `Uncountable ℝ` (#18546) …
Added Set.not_countable_univ_iffView on Github →