∫ Утверждение Mathlib
closure_of_rat_image_lt
Mathlib.Topology.Instances.Real.Lemmas
URI: https://scilib.ai/kg/mathlib#closure_of_rat_image_lt
∫ Утверждение Mathlib
Mathlib.Topology.Instances.Real.Lemmas
URI: https://scilib.ai/kg/mathlib#closure_of_rat_image_lt