Combine cases of Tuple.Zip
disjoint from (h1 *: t1, h2 *: t2)
#33155
Loading
Tuple.Zip
disjoint from (h1 *: t1, h2 *: t2)
#33155