  We collect several results concerning regularity of minimal laminations, and
governing the various modes of convergence for sequences of minimal
laminations. 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.
