User contributions for SchuBot

Results for SchuBot talk block log uploads logs

A user with 4,665 edits. Account created on 11 April 2020.

Jump to navigation Jump to search

13:2713:27, 20 April 2020 diff hist +386 Formula q_911 (Q713) ‎Created claim: Defining formula (P1): \mathbb F_q[X,Y]/(Q(X))\cong (\mathbb F_q[X]/(Q(X)))[Y] current
13:2713:27, 20 April 2020 diff hist +335 Formula q_911 (Q713) ‎Created claim: arqmath formula id (P8): q_911
13:2713:27, 20 April 2020 diff hist +226 N Formula q_911 (Q713) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +334 Formula q_910 (Q712) ‎Created claim: Defining formula (P1): Q(X) current
13:2713:27, 20 April 2020 diff hist +335 Formula q_910 (Q712) ‎Created claim: arqmath formula id (P8): q_910
13:2713:27, 20 April 2020 diff hist +226 N Formula q_910 (Q712) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +331 Formula q_909 (Q711) ‎Created claim: Defining formula (P1): Y current
13:2713:27, 20 April 2020 diff hist +335 Formula q_909 (Q711) ‎Created claim: arqmath formula id (P8): q_909
13:2713:27, 20 April 2020 diff hist +226 N Formula q_909 (Q711) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +331 Formula q_908 (Q710) ‎Created claim: Defining formula (P1): X current
13:2713:27, 20 April 2020 diff hist +335 Formula q_908 (Q710) ‎Created claim: arqmath formula id (P8): q_908
13:2713:27, 20 April 2020 diff hist +226 N Formula q_908 (Q710) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +331 Formula q_907 (Q709) ‎Created claim: Defining formula (P1): P current
13:2713:27, 20 April 2020 diff hist +335 Formula q_907 (Q709) ‎Created claim: arqmath formula id (P8): q_907
13:2713:27, 20 April 2020 diff hist +226 N Formula q_907 (Q709) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +331 Formula q_906 (Q708) ‎Created claim: Defining formula (P1): P current
13:2713:27, 20 April 2020 diff hist +335 Formula q_906 (Q708) ‎Created claim: arqmath formula id (P8): q_906
13:2713:27, 20 April 2020 diff hist +226 N Formula q_906 (Q708) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +343 Formula q_905 (Q707) ‎Created claim: Defining formula (P1): I = (P(X,Y)) current
13:2713:27, 20 April 2020 diff hist +335 Formula q_905 (Q707) ‎Created claim: arqmath formula id (P8): q_905
13:2713:27, 20 April 2020 diff hist +226 N Formula q_905 (Q707) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +347 Formula q_904 (Q706) ‎Created claim: Defining formula (P1): \mathbb F_q[X,Y] current
13:2713:27, 20 April 2020 diff hist +335 Formula q_904 (Q706) ‎Created claim: arqmath formula id (P8): q_904
13:2713:27, 20 April 2020 diff hist +226 N Formula q_904 (Q706) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +336 Formula q_903 (Q705) ‎Created claim: Defining formula (P1): K[X,Y] current
13:2713:27, 20 April 2020 diff hist +335 Formula q_903 (Q705) ‎Created claim: arqmath formula id (P8): q_903
13:2713:27, 20 April 2020 diff hist +226 N Formula q_903 (Q705) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +331 Formula q_902 (Q704) ‎Created claim: Defining formula (P1): K current
13:2713:27, 20 April 2020 diff hist +335 Formula q_902 (Q704) ‎Created claim: arqmath formula id (P8): q_902
13:2713:27, 20 April 2020 diff hist +226 N Formula q_902 (Q704) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +347 Formula q_901 (Q703) ‎Created claim: Defining formula (P1): \mathbb F_q[X,Y] current
13:2713:27, 20 April 2020 diff hist +335 Formula q_901 (Q703) ‎Created claim: arqmath formula id (P8): q_901
13:2713:27, 20 April 2020 diff hist +226 N Formula q_901 (Q703) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +355 Formula q_895 (Q702) ‎Created claim: Defining formula (P1): AA^{-1} \neq \mathbb I_n current
13:2713:27, 20 April 2020 diff hist +335 Formula q_895 (Q702) ‎Created claim: arqmath formula id (P8): q_895
13:2713:27, 20 April 2020 diff hist +226 N Formula q_895 (Q702) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +350 Formula q_894 (Q701) ‎Created claim: Defining formula (P1): A^{-1}A=\mathbb I_n current
13:2713:27, 20 April 2020 diff hist +335 Formula q_894 (Q701) ‎Created claim: arqmath formula id (P8): q_894
13:2713:27, 20 April 2020 diff hist +226 N Formula q_894 (Q701) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +341 Formula q_893 (Q700) ‎Created claim: Defining formula (P1): n \times n current
13:2713:27, 20 April 2020 diff hist +335 Formula q_893 (Q700) ‎Created claim: arqmath formula id (P8): q_893
13:2713:27, 20 April 2020 diff hist +226 N Formula q_893 (Q700) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +342 Formula q_892 (Q699) ‎Created claim: Defining formula (P1): \mathbb I_n current
13:2713:27, 20 April 2020 diff hist +335 Formula q_892 (Q699) ‎Created claim: arqmath formula id (P8): q_892
13:2713:27, 20 April 2020 diff hist +226 N Formula q_892 (Q699) ‎Created a new Item
13:2713:27, 20 April 2020 diff hist +396 Formula q_891 (Q698) ‎Created claim: Defining formula (P1): A^{-1}A=\mathbb I_n \ \ \land \ \ AA^{-1}=\mathbb I_n \ \ \ \ (1) current
13:2613:26, 20 April 2020 diff hist +335 Formula q_891 (Q698) ‎Created claim: arqmath formula id (P8): q_891
13:2613:26, 20 April 2020 diff hist +226 N Formula q_891 (Q698) ‎Created a new Item
13:2613:26, 20 April 2020 diff hist +336 Formula q_890 (Q697) ‎Created claim: Defining formula (P1): A^{-1} current
13:2613:26, 20 April 2020 diff hist +335 Formula q_890 (Q697) ‎Created claim: arqmath formula id (P8): q_890

Retrieved from "https://arq20.formulasearchengine.com/wiki/Special:Contributions/SchuBot"

Navigation menu