Theorem NormedSpace.isClosed_polar

Modification history