Internal DLA on mated-CRT maps

We prove a shape theorem for internal diffusion limited aggregation on mated-CRT maps, a family of random planar maps which approximate Liouville quantum gravity (LQG) surfaces. The limit is an LQG harmonic ball, which we constructed in a companion paper. We also prove an analogous result for the divisible sandpile.