Add ltmnqi and ltanqi to iset.mm
Add ltmnqi and ltanqi to iset.mm

They take care of a common set of steps. Probably they could
shorten a few proofs which currently use ltanqg or ltmnqg .

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