Formula q_703 (Q534): Difference between revisions
Jump to navigation
Jump to search
Created claim: arqmath formula id (P8): q_703 |
Created claim: Defining formula (P1): a+b\mathbb{Z}=\{z\in \mathbb{Z}\mid z = a+bk \text{ for some }k\in \mathbb{Z}\} |
||
Property / Defining formula | |||
a+b\mathbb{Z}=\{z\in \mathbb{Z}\mid z = a+bk \text{ for some }k\in \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_703 |
No description defined |
Statements
q_703
0 references
0 references