Theorem exists_norm_eq_iInf_of_complete_subspace

Modification history