Theorem NormedSpace.zero_mem_polar

Modification history