User contributions for SchuBot
Jump to navigation
Jump to search
20 April 2020
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_774 (Q596) Created claim: Defining formula (P1): M current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_774 (Q596) Created claim: arqmath formula id (P8): q_774
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_774 (Q596) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +349 Formula q_773 (Q595) Created claim: Defining formula (P1): \{1, \cdots, n+1\} current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_773 (Q595) Created claim: arqmath formula id (P8): q_773
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_773 (Q595) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_772 (Q594) Created claim: Defining formula (P1): g current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_772 (Q594) Created claim: arqmath formula id (P8): q_772
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_772 (Q594) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +342 Formula q_771 (Q593) Created claim: Defining formula (P1): g(n+1) := x current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_771 (Q593) Created claim: arqmath formula id (P8): q_771
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_771 (Q593) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +363 Formula q_770 (Q592) Created claim: Defining formula (P1): g(1) := f(1), \cdots, g(n):=f(n) current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_770 (Q592) Created claim: arqmath formula id (P8): q_770
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_770 (Q592) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +351 Formula q_769 (Q591) Created claim: Defining formula (P1): g(1), \cdots, g(n+1) current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_769 (Q591) Created claim: arqmath formula id (P8): q_769
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_769 (Q591) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +363 Formula q_768 (Q590) Created claim: Defining formula (P1): x \in M - \{f(1), \cdots, f(n)\} current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_768 (Q590) Created claim: arqmath formula id (P8): q_768
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_768 (Q590) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +357 Formula q_767 (Q589) Created claim: Defining formula (P1): M - \{f(1), \cdots, f(n)\} current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_767 (Q589) Created claim: arqmath formula id (P8): q_767
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_767 (Q589) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_766 (Q588) Created claim: Defining formula (P1): M current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_766 (Q588) Created claim: arqmath formula id (P8): q_766
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_766 (Q588) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_765 (Q587) Created claim: Defining formula (P1): M current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_765 (Q587) Created claim: arqmath formula id (P8): q_765
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_765 (Q587) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +347 Formula q_764 (Q586) Created claim: Defining formula (P1): \{1, \cdots, n\} current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_764 (Q586) Created claim: arqmath formula id (P8): q_764
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_764 (Q586) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_763 (Q585) Created claim: Defining formula (P1): f current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_763 (Q585) Created claim: arqmath formula id (P8): q_763
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_763 (Q585) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_762 (Q584) Created claim: Defining formula (P1): M current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_762 (Q584) Created claim: arqmath formula id (P8): q_762
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_762 (Q584) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_761 (Q583) Created claim: Defining formula (P1): \{1\} current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_761 (Q583) Created claim: arqmath formula id (P8): q_761
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_761 (Q583) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +331 Formula q_760 (Q582) Created claim: Defining formula (P1): f current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_760 (Q582) Created claim: arqmath formula id (P8): q_760
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_760 (Q582) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +339 Formula q_759 (Q581) Created claim: Defining formula (P1): f(1) := x current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_759 (Q581) Created claim: arqmath formula id (P8): q_759
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_759 (Q581) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +334 Formula q_758 (Q580) Created claim: Defining formula (P1): f(1) current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_758 (Q580) Created claim: arqmath formula id (P8): q_758