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