Theorem NormedSpace.closedBall_inv_subset_polar_closedBall

Modification history