not_injective_uncountable_countable — Mathlib · SciLib

∫ Утверждение Mathlib

not_injective_uncountable_countable

Mathlib.Data.Countable.Defs

URI: https://scilib.ai/kg/mathlib#not_injective_uncountable_countable

← MathLib Explorer