Theorem NormedSpace.polar_nonempty

Modification history