Mathlib v3 is deprecated. Go to Mathlib v4

Theorem countable_iff_nonempty_embedding

Modification history

2022-07-16 02:20
src/data/countable/basic.lean
feat(data/countable): add `countable` typeclass (#15280) …
Added countable_iff_nonempty_embeddingView on Github →