Theorem norm_nonpos_left

Modification history