∫ Утверждение Mathlib
isBounded_image_subtype_val
Mathlib.Topology.Bornology.Constructions
URI: https://scilib.ai/kg/mathlib#Bornology.isBounded_image_subtype_val
∫ Утверждение Mathlib
Mathlib.Topology.Bornology.Constructions
URI: https://scilib.ai/kg/mathlib#Bornology.isBounded_image_subtype_val