Formula q_716 (Q547): Difference between revisions
Jump to navigation
Jump to search
Created claim: arqmath formula id (P8): q_716 |
Created claim: Defining formula (P1): \left(\bigcup_{1\leq j\leq n}(0+p_{k_j}\mathbb{Z})\right)\cup (-1+5 \mathbb{Z})\cup (1+5\mathbb{Z}) |
||
Property / Defining formula | |||
\left(\bigcup_{1\leq j\leq n}(0+p_{k_j}\mathbb{Z})\right)\cup (-1+5 \mathbb{Z})\cup (1+5\mathbb{Z}) | |||
Property / Defining formula: / rank | |||
Normal rank |
Latest revision as of 13:18, 20 April 2020
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Formula q_716 |
No description defined |
Statements
q_716
0 references
0 references