Ind-geometric stacks

We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating examples include the coherent Satake category, the double affine Hecke category, and related categories in the theory of Coulomb branches.