Add ltrnqi to iset.mm
Add ltrnqi to iset.mm

This is one direction of ltrnq (none of the usages in set.mm use
the other direction). The proof is similar to the set.mm with
the usual changes to add e. Q. conditions.

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