Join of a list of lists #
This file proves basic properties of List.flatten
, which concatenates a list of lists. It is
defined in Init.Data.List.Basic
.
We can rebracket x ++ (l₁ ++ x) ++ (l₂ ++ x) ++ ... ++ (lₙ ++ x)
to
(x ++ l₁) ++ (x ++ l₂) ++ ... ++ (x ++ lₙ) ++ x
where L = [l₁, l₂, ..., lₙ]
.