RE: [saxon] every $A in 1 to min(count(node1), count(node2)) satisfies


Thread view