Theorem ContinuousLinearMap.isCompact_image_coe_closedBall

Modification history