Theorem NormedSpace.polarSubmodule_eq_polar

Modification history