  We generalize Luna's fundamental lemma to smooth morphisms between stacks
with good moduli spaces. We also give a precise condition for when it holds for
non-smooth morphisms and versions for coherent sheaves and complexes. This
generalizes earlier results by Alper, Abramovich--Temkin, Edidin and Nevins.
