Theorem NormedSpace.dual_def

Modification history