Theorem CauSeq.Completion.ofRat_div

Modification history