∫ Утверждение Mathlib
isCompact_closure_image_closedBall
Mathlib.Analysis.Normed.Operator.Compact
URI: https://scilib.ai/kg/mathlib#IsCompactOperator.isCompact_closure_image_closedBall
∫ Утверждение Mathlib
Mathlib.Analysis.Normed.Operator.Compact
URI: https://scilib.ai/kg/mathlib#IsCompactOperator.isCompact_closure_image_closedBall