Theorem sign_eq_neg_one_iff

Modification history