Theorem CauSeq.Completion.ofRat_neg

Modification history