Theorem SignType.not_lt_neg_one

Modification history