User contributions for SchuBot
Jump to navigation
Jump to search
20 April 2020
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_741 (Q563) Created claim: arqmath formula id (P8): q_741
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_741 (Q563) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +337 Formula q_740 (Q562) Created claim: Defining formula (P1): u \ne 0 current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_740 (Q562) Created claim: arqmath formula id (P8): q_740
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_740 (Q562) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +409 Formula q_739 (Q561) Created claim: Defining formula (P1): \displaystyle \left \vert{ \frac {e^{-ixu}-1}{u}}\right\vert \le \vert x \vert current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_739 (Q561) Created claim: arqmath formula id (P8): q_739
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_739 (Q561) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +343 Formula q_729 (Q560) Created claim: Defining formula (P1): 1\cdot x = x current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_729 (Q560) Created claim: arqmath formula id (P8): q_729
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_729 (Q560) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +343 Formula q_728 (Q559) Created claim: Defining formula (P1): 1\cdot 1 = 1 current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_728 (Q559) Created claim: arqmath formula id (P8): q_728
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_728 (Q559) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +347 Formula q_727 (Q558) Created claim: Defining formula (P1): (- 1) (- 1) = 1 current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_727 (Q558) Created claim: arqmath formula id (P8): q_727
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_727 (Q558) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +346 Formula q_726 (Q557) Created claim: Defining formula (P1): (- 1) (- 1) = 1 current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_726 (Q557) Created claim: arqmath formula id (P8): q_726
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_726 (Q557) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +331 Formula q_725 (Q556) Created claim: Defining formula (P1): 7 current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_725 (Q556) Created claim: arqmath formula id (P8): q_725
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_725 (Q556) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +331 Formula q_724 (Q555) Created claim: Defining formula (P1): 7 current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_724 (Q555) Created claim: arqmath formula id (P8): q_724
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_724 (Q555) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +331 Formula q_723 (Q554) Created claim: Defining formula (P1): p current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_723 (Q554) Created claim: arqmath formula id (P8): q_723
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_723 (Q554) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +341 Formula q_722 (Q553) Created claim: Defining formula (P1): 5\nmid p+1 current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_722 (Q553) Created claim: arqmath formula id (P8): q_722
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_722 (Q553) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +341 Formula q_721 (Q552) Created claim: Defining formula (P1): 5\nmid p-1 current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_721 (Q552) Created claim: arqmath formula id (P8): q_721
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_721 (Q552) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +375 Formula q_720 (Q551) Created claim: Defining formula (P1): p\notin(-1+5 \mathbb{Z})\cup (1+5\mathbb{Z}) current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_720 (Q551) Created claim: arqmath formula id (P8): q_720
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_720 (Q551) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +383 Formula q_719 (Q550) Created claim: Defining formula (P1): p\notin \bigcup_{1\leq j\leq n}(0+p_{k_j}\mathbb{Z}) current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_719 (Q550) Created claim: arqmath formula id (P8): q_719
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_719 (Q550) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +362 Formula q_718 (Q549) Created claim: Defining formula (P1): p>\max\{p_{k_1},\dots,p_{k_n}\} current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_718 (Q549) Created claim: arqmath formula id (P8): q_718
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_718 (Q549) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +331 Formula q_717 (Q548) Created claim: Defining formula (P1): p current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_717 (Q548) Created claim: arqmath formula id (P8): q_717
- 13:1813:18, 20 April 2020 diff hist +226 N Formula q_717 (Q548) Created a new Item
- 13:1813:18, 20 April 2020 diff hist +430 Formula q_716 (Q547) 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}) current
- 13:1813:18, 20 April 2020 diff hist +335 Formula q_716 (Q547) Created claim: arqmath formula id (P8): q_716
- 13:1713:17, 20 April 2020 diff hist +226 N Formula q_716 (Q547) Created a new Item