1: \begin{abstract}

2: We collect several results concerning regularity of minimal laminations, and governing the various modes of convergence for sequences of minimal laminations.

3: We then apply this theory to prove that a function has locally least gradient (is $1$-harmonic) iff its level sets are a minimal lamination; this resolves an open problem of Daskalopoulos and Uhlenbeck.

4: \end{abstract}

5: