Add ialgrlem1st and ialgrlemconst to iset.mm
Add ialgrlem1st and ialgrlemconst to iset.mm

Although these are fairly simple proofs and not hugely general
purpose, they will be needed by several of the ialg* theorems.

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