Theorem SignType.neg_one_le

Modification history