Theorem norm_eq_zero'''

Modification history