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.Comment: 29 pages, comments welcom