Formula q_711 (Q542): Difference between revisions
Jump to navigation
Jump to search
Created claim: arqmath formula id (P8): q_711 |
Created claim: Defining formula (P1): \left(\bigcup_{k\in \mathbb{N}}(0+p_k\mathbb{Z})\right)\cup (-1+\ell_1 \mathbb{Z})\cup (1+\ell_2\mathbb{Z})=\mathbb{Z} |
||
Property / Defining formula | |||
\left(\bigcup_{k\in \mathbb{N}}(0+p_k\mathbb{Z})\right)\cup (-1+\ell_1 \mathbb{Z})\cup (1+\ell_2\mathbb{Z})=\mathbb{Z} | |||
Property / Defining formula: / rank | |||
Normal rank |
Latest revision as of 13:17, 20 April 2020
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Formula q_711 |
No description defined |
Statements
q_711
0 references
0 references