Theorem SignType.neg_one_lt_one

Modification history