Theorem NormedSpace.polar_empty

Modification history