Theorem SignType.neg_eq_neg_one

Modification history