Theorem norm_nonneg'

Modification history