Theorem norm_le_zero_iff'

Modification history