Theorem CauSeq.const_neg

Modification history