Theorem exists_norm_eq_iInf_of_complete_convex

Modification history