User contributions for SchuBot
Jump to navigation
Jump to search
20 April 2020
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_758 (Q580) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +337 Formula q_757 (Q579) Created claim: Defining formula (P1): x \in M current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_757 (Q579) Created claim: arqmath formula id (P8): q_757
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_757 (Q579) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +347 Formula q_756 (Q578) Created claim: Defining formula (P1): M \neq \emptyset current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_756 (Q578) Created claim: arqmath formula id (P8): q_756
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_756 (Q578) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +331 Formula q_755 (Q577) Created claim: Defining formula (P1): M current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_755 (Q577) Created claim: arqmath formula id (P8): q_755
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_755 (Q577) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +347 Formula q_754 (Q576) Created claim: Defining formula (P1): \{1, \cdots, n\} current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_754 (Q576) Created claim: arqmath formula id (P8): q_754
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_754 (Q576) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +347 Formula q_753 (Q575) Created claim: Defining formula (P1): n \in \mathbb{N} current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_753 (Q575) Created claim: arqmath formula id (P8): q_753
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_753 (Q575) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +331 Formula q_752 (Q574) Created claim: Defining formula (P1): M current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_752 (Q574) Created claim: arqmath formula id (P8): q_752
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_752 (Q574) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_751 (Q573) Created claim: Defining formula (P1): 2^{n} current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_751 (Q573) Created claim: arqmath formula id (P8): q_751
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_751 (Q573) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +333 Formula q_750 (Q572) Created claim: Defining formula (P1): [n] current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_750 (Q572) Created claim: arqmath formula id (P8): q_750
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_750 (Q572) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +331 Formula q_749 (Q571) Created claim: Defining formula (P1): n current
- 13:2013:20, 20 April 2020 diff hist +335 Formula q_749 (Q571) Created claim: arqmath formula id (P8): q_749
- 13:2013:20, 20 April 2020 diff hist +226 N Formula q_749 (Q571) Created a new Item
- 13:2013:20, 20 April 2020 diff hist +331 Formula q_748 (Q570) Created claim: Defining formula (P1): n current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_748 (Q570) Created claim: arqmath formula id (P8): q_748
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_748 (Q570) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +356 Formula q_747 (Q569) Created claim: Defining formula (P1): [n] = \{1, 2, \ldots, n\} current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_747 (Q569) Created claim: arqmath formula id (P8): q_747
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_747 (Q569) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +331 Formula q_746 (Q568) Created claim: Defining formula (P1): n current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_746 (Q568) Created claim: arqmath formula id (P8): q_746
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_746 (Q568) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_745 (Q567) Created claim: Defining formula (P1): \{2\} current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_745 (Q567) Created claim: arqmath formula id (P8): q_745
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_745 (Q567) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_744 (Q566) Created claim: Defining formula (P1): \{1\} current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_744 (Q566) Created claim: arqmath formula id (P8): q_744
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_744 (Q566) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +419 Formula q_743 (Q565) Created claim: Defining formula (P1): \emptyset, \{1\}, \{2\}, \{1, 2\}, \{3\}, \{1, 3\}, \{2, 3\}, \{1, 2, 3\}, \{4\}, \ldots current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_743 (Q565) Created claim: arqmath formula id (P8): q_743
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_743 (Q565) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +341 Formula q_742 (Q564) Created claim: Defining formula (P1): \mathbb{N} current
- 13:1913:19, 20 April 2020 diff hist +335 Formula q_742 (Q564) Created claim: arqmath formula id (P8): q_742
- 13:1913:19, 20 April 2020 diff hist +226 N Formula q_742 (Q564) Created a new Item
- 13:1913:19, 20 April 2020 diff hist +331 Formula q_741 (Q563) Created claim: Defining formula (P1): x current