Theorem abs_norm_eq_norm

Modification history