Theorem NormedSpace.polar_zero

Modification history