∫ Утверждение Mathlib
cantorFunctionAux_true
Mathlib.Analysis.Real.Cardinality
URI: https://scilib.ai/kg/mathlib#Cardinal.cantorFunctionAux_true
∫ Утверждение Mathlib
Mathlib.Analysis.Real.Cardinality
URI: https://scilib.ai/kg/mathlib#Cardinal.cantorFunctionAux_true