Theorem SignType.neg_iff

Modification history