Deep-equal between sequences

[Ronald Bourret]

Thanks. I keep forgetting about some and every.

-- Ron

David Carlisle wrote:

> some $i in $firstSeq satisfies $secondSeq[deep-equal(.,$i)]