Theorem CauSeq.Completion.ofRat_inv

Modification history