Theorem CauSeq.Completion.ofRat_zero

Modification history