Theorem CauSeq.Completion.ofRat_add

Modification history