## When is the quotient of a manifold by a discrete group of diffeomorphisms a diffeological covering space?

I was reading An Introduction to Diffeology by Patrick Iglesias-Zemmour and he defines a diffeological covering space as a diffeological fiber bundle with discrete fiber. My question: Consider a manifold $M$ and a discrete subgroup $G$ of $\mathrm{Diff}(M)$ acting on $M$ freely. When is the quotient morphism $M \to M/G$ a diffeological covering space? I … Read more