Open jariji opened 2 years ago
Is it possible to get the size of the union? e.g. [0,10] ∪ [30,40] |> diam to 20?
[0,10] ∪ [30,40] |> diam
20
Is it possible to get the size of the union? e.g.
[0,10] ∪ [30,40] |> diam
to20
?