Add caucvgprlem1 and caucvgprlem2 to iset.mm
Add caucvgprlem1 and caucvgprlem2 to iset.mm

These are lemmas for caucvgpr , similar to cauappcvgprlem1
and cauappcvgprlem2 .

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