iset:update proofs of otexg and euotd; update comment and relabel opelopabsbOLD to ALT to follow set.mm
iset:update proofs of otexg and euotd; update comment and relabel opelopabsbOLD to ALT to follow set.mm

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