Theorem SignType.nonneg_iff_ne_neg_one

Modification history