Skip to content

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

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

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