Add cauappcvgpr to iset.mm
Add cauappcvgpr to iset.mm

This says that a Cauchy approximation has a limit.

Add Cauchy approximation lemmas to iset.mm . This is
cauappcvgprlemcl , cauappcvgprlemladd , cauappcvgprlem1 ,
cauappcvgprlem2 and cauappcvgprlemlim

Includes lemmas cauappcvgprlemladdfu , cauappcvgprlemladdfl ,
cauappcvgprlemladdru , cauappcvgprlemladdrl , and
cauappcvgprlemcan

Includes lemmas cauappcvgprlemm , cauappcvgprlemdisj ,
cauappcvgprlemrnd , and cauappcvgprlemloc

Includes lemmas cauappcvgprlemopl , cauappcvgprlemlol ,
cauappcvgprlemopu , and cauappcvgprlemupu .

metamath/set.mm,metamath/set.mm,metamath/set.mm