Theorem CauSeq.Completion.ofRat_one

Modification history