User contributions for Indirigible
Jump to navigation
Jump to search
14 October 2020
- 20:2020:20, 14 October 2020 diff hist +175 Definition talk:Supremum/Also defined as No edit summary
- 20:1520:15, 14 October 2020 diff hist +203 Definition talk:Supremum/Also defined as No edit summary
- 18:1618:16, 14 October 2020 diff hist +667 Definition talk:Supremum/Also defined as No edit summary
- 08:3108:31, 14 October 2020 diff hist +126 Definition talk:Supremum/Also defined as No edit summary
15 September 2020
- 03:2203:22, 15 September 2020 diff hist +291 N Definition talk:Logical Implication/Distinction with Conditional Created page with "In a category (e.g. implications among statements) the diagramme $A \to B \to C$ is $A \to B$, $B \to C$ put together, but not necessarily $\paren {A \to B} \to C$, nor $A \to..."
- 02:3402:34, 15 September 2020 diff hist +412 N Definition talk:Supremum/Also defined as Noted nonprimary meaning of "the."
29 July 2020
- 00:5000:50, 29 July 2020 diff hist +376 Talk:Main Page →Formulæ displication sans “client-side scripting?”: new section
- 00:2500:25, 29 July 2020 diff hist +4 m User:Indirigible reformed each instance of name of ProofWiki to logotype name of ProofWiki current