Remove sandwiching theorems from iset.mm
Remove sandwiching theorems from iset.mm

This is ssunsn , ssunsn2 , and ssunpr .  Not sure whether anything
similar is possible, but it seems a bit tricky and certainly the
existing proofs are not intuitionistic in multiple ways.

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