Add addsrpr and mulsrpr to iset.mm
Add addsrpr and mulsrpr to iset.mm

Includes lemmas prsrlem1 , addsrmo , and mulsrmo . All five are
copied without changes from set.mm.

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