Skip to content

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

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

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

specification

succeeded Nov 12, 2024 in 1m 10s