Theorem CauSeq.neg_equiv_neg

Modification history