Subgroup and Submonoid Membership in the lampshuffler of $\mathbb{Z}$ D3WKY1PW64

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
2BSJ4SAHMX	example	example 3.16	arxiv
6RNJSWYERM	statement	proposition 3.11	arxiv
88KZ0S8ZA6	statement	lemma 3.4	arxiv
AW76JQEB5F	statement	lemma 2.4	arxiv
B97W8PE0T0	statement	lemma 3.7	arxiv
BZAD46VZ06	example	example 3.1	arxiv
DH67GNZ0TR	statement	proposition 3.22	arxiv
E9MA3EDP04	statement	proposition 3.8	arxiv
FWVD3MDA04	statement	lemma 3.5	arxiv
GFNHPA8XZH	statement	proposition 3.3	arxiv
H0HMEB7QXZ	statement	lemma 3.20	arxiv
HRM8GGPMSF	statement	proposition 3.21	arxiv
JD5Z2KGJC3	statement	lemma 3.9	arxiv
JEYYZPSVK8	example	example 3.2	arxiv
Goursat's lemma, c.f.	statement	lemma 2.2	arxiv
note below	statement	lemma 3.15	arxiv
NXWH7FACKA	example	example 2.3	arxiv
Special case	statement	lemma 2.1	arxiv
Generalization	statement	lemma 3.14	arxiv
PXDC9VD2SM	statement	lemma 3.13	arxiv
S26C9M4A2Q	statement	lemma 3.10	arxiv
Nielsen-Schreier, c.f.	statement	lemma 3.6	arxiv
TRM24A4QWY	statement	theorem 1.1	arxiv
WE0A9FSSNQ	statement	proposition 3.12	arxiv
WM9KDWXYPJ	statement	lemma 3.18	arxiv
YPPX5JTSYW	statement	theorem	arxiv
Z0CB143PQD	statement	proposition 3.17	arxiv
Z2ANBKZ9F7	statement	lemma 3.19	arxiv