Theorem norm_inner_eq_norm_iff

Modification history