Theorem SignType.self_eq_neg_iff

Modification history