Theorem ofReal_norm_eq_enorm'

Modification history