Theorem NormedSpace.smul_mem_polar

Modification history