Theorem NormedSpace.mem_polar_singleton

Modification history