∫ Утверждение Mathlib
mem_diff_shiftr_find
Mathlib.Topology.Compactness.SigmaCompact
URI: https://scilib.ai/kg/mathlib#CompactExhaustion.mem_diff_shiftr_find
∫ Утверждение Mathlib
Mathlib.Topology.Compactness.SigmaCompact
URI: https://scilib.ai/kg/mathlib#CompactExhaustion.mem_diff_shiftr_find