Theorem norm_eq_zero''

Modification history