Theorem NormedSpace.polar_singleton

Modification history