Theorem NormedSpace.exists_lt_norm

Modification history