Author: Urs Format: MarkdownItexthe minimum definition, some references (we didn't have this anywhere on the $n$Lab it seems, or do we somewhere?)
<a href="https://ncatlab.org/nlab/revision/properly+discontinuous+action/1">v1</a>, <a href="https://ncatlab.org/nlab/show/properly+discontinuous+action">current</a>
the minimum definition, some references (we didn’t have this anywhere on the Lab it seems, or do we somewhere?)