Skip to content

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

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

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

check

succeeded Nov 12, 2024 in 8s