Theorem norm_zero_left

Modification history