User contributions for SchuBot
Jump to navigation
Jump to search
20 April 2020
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_715 (Q546) Created claim: arqmath formula id (P8): q_715
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_715 (Q546) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +344 Formula q_714 (Q545) Created claim: Defining formula (P1): \{0+p_{k_j}\} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_714 (Q545) Created claim: arqmath formula id (P8): q_714
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_714 (Q545) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +346 Formula q_713 (Q544) Created claim: Defining formula (P1): \ell_1=\ell_2=5 current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_713 (Q544) Created claim: arqmath formula id (P8): q_713
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_713 (Q544) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +344 Formula q_712 (Q543) Created claim: Defining formula (P1): \ell_1,\ell_2 current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_712 (Q543) Created claim: arqmath formula id (P8): q_712
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_712 (Q543) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +450 Formula q_711 (Q542) 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} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_711 (Q542) Created claim: arqmath formula id (P8): q_711
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_711 (Q542) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +354 Formula q_710 (Q541) Created claim: Defining formula (P1): \{p_k\}=\{2,3,5,\dots\} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_710 (Q541) Created claim: arqmath formula id (P8): q_710
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_710 (Q541) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +378 Formula q_709 (Q540) Created claim: Defining formula (P1): \bigcup_{i \in I}(a_i+b_i\mathbb{Z})=\mathbb{Z} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_709 (Q540) Created claim: arqmath formula id (P8): q_709
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_709 (Q540) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +350 Formula q_708 (Q539) Created claim: Defining formula (P1): I\subset \mathbb{N} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_708 (Q539) Created claim: arqmath formula id (P8): q_708
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_708 (Q539) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +387 Formula q_707 (Q538) Created claim: Defining formula (P1): \bigcup_{i \in \mathbb{N}}(a_i+b_i\mathbb{Z})=\mathbb{Z} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_707 (Q538) Created claim: arqmath formula id (P8): q_707
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_707 (Q538) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +373 Formula q_706 (Q537) Created claim: Defining formula (P1): \{a_i+b_i\mathbb{Z}\mid i \in \mathbb{N}\} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_706 (Q537) Created claim: arqmath formula id (P8): q_706
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_706 (Q537) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +353 Formula q_705 (Q536) Created claim: Defining formula (P1): b\in \mathbb{Z}-\{0\} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_705 (Q536) Created claim: arqmath formula id (P8): q_705
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_705 (Q536) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +346 Formula q_704 (Q535) Created claim: Defining formula (P1): a\in \mathbb{Z} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_704 (Q535) Created claim: arqmath formula id (P8): q_704
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_704 (Q535) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +411 Formula q_703 (Q534) Created claim: Defining formula (P1): a+b\mathbb{Z}=\{z\in \mathbb{Z}\mid z = a+bk \text{ for some }k\in \mathbb{Z}\} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_703 (Q534) Created claim: arqmath formula id (P8): q_703
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_703 (Q534) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +341 Formula q_702 (Q533) Created claim: Defining formula (P1): \mathbb{Z} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_702 (Q533) Created claim: arqmath formula id (P8): q_702
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_702 (Q533) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +353 Formula q_701 (Q532) Created claim: Defining formula (P1): \frac{u^{m+1}}{(m+1)!} current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_701 (Q532) Created claim: arqmath formula id (P8): q_701
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_701 (Q532) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +331 Formula q_700 (Q531) Created claim: Defining formula (P1): > current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_700 (Q531) Created claim: arqmath formula id (P8): q_700
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_700 (Q531) Created a new Item
- 13:1713:17, 20 April 2020 diff hist +333 Formula q_699 (Q530) Created claim: Defining formula (P1): e^u current
- 13:1713:17, 20 April 2020 diff hist +335 Formula q_699 (Q530) Created claim: arqmath formula id (P8): q_699
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_699 (Q530) Created a new Item