Theorem CauSeq.Completion.ofRat_natCast

Modification history