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