Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
20 May 2024
- diffhist Peano axioms 17:10 +124 Jochen Burghardt talk contribs (→Multiplication: suggest to link own proof sheet (feel free to revert due to self-promotion))
- diffhist Peano axioms 17:00 −105 Jochen Burghardt talk contribs (→Multiplication: fix {{clarify}})
- diffhist Peano axioms 16:58 +220 Jochen Burghardt talk contribs (→Addition: indicate + commutativity proof)
- diffhist Module:Pagetype/rfd 13:04 +27 MSGJ talk contribs (+Rfd-NPF/core)
- diffhist Module:Pagetype/rfd 13:03 +22 MSGJ talk contribs (+Rfd-NPF, seen on West Ardougne)
- diffhist Peano axioms 09:06 +177 D.Lazard talk contribs (definition of "Peano arithmetic")
19 May 2024
- diffhist Mathematics 22:57 +1,286 Villaida talk contribs (sourced statements) Tag: Visual edit
- diffhist Constructive set theory 19:08 +18 178.189.55.225 talk (→ECST)
18 May 2024
- diffhist Mathematics 19:17 −29 D.Lazard talk contribs (→See also: self linking)
17 May 2024
- diffhist Module:Navbox 21:07 +308 Izno talk contribs (per Template talk:Navbox#Night mode may need explicit color definitions)
- diffhist 2-ring 18:48 −36 User-duck talk contribs (Remove footnote template.)
- diffhist 2-ring 18:47 +152 User-duck talk contribs (Ref and cite CE.)
- diffhist Constructive set theory 13:56 +7 88.116.31.14 talk (→Arithmetic)
- diffhist Constructive set theory 13:47 +4 88.116.31.14 talk (→Regularity implies PEM)
- diffhist Constructive set theory 09:45 +23 178.165.197.164 talk (→Witness of apartness)
- diffhist Bicategory 00:00 −32 David Eppstein talk contribs (context in lead looks ok to me: mathematics, category theory) Tag: Manual revert
16 May 2024
- diffhist Constructive set theory 23:57 +14 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:54 +6 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:51 −33 178.165.197.164 talk (→Witness of apartness: Simplify)
- diffhist Constructive set theory 23:46 +20 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:36 +202 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 22:38 +7 178.165.197.164 talk (→Predicativity)
- diffhist Constructive set theory 22:32 −5 178.165.197.164 talk (→Separation: Duplicated word)
- diffhist Constructive set theory 22:31 +262 178.165.197.164 talk (→BCST: Delinate full Separation)
- diffhist Module:Pagetype 12:25 −146 MSGJ talk contribs (add detection of non-existent pages, some code simplication)
- diffhist m Module:Pagetype/config 12:23 +100 MSGJ talk contribs (+cfg for non-existent pages)
- diffhist Constructive set theory 08:36 −15 John of Reading talk contribs (Typo fixing, replaced: is ran → is run, copyedited one other phrase) Tag: AWB
15 May 2024
- diffhist m Modal logic 16:55 +21 Oneequalsequalsone talk contribs Tag: Visual edit
- diffhist Determinacy 07:04 +264 Turtlens talk contribs (→Determinacy from ZFC)
- diffhist Determinacy 06:50 +122 Turtlens talk contribs (→References)
- diffhist Determinacy 06:29 +151 Turtlens talk contribs (→Games of imperfect information)
- diffhist m Type theory 02:11 +63 Trevoran talk contribs (→History: link for term "ramified theory of types"; inscrutable without context)
14 May 2024
- diffhist m History of type theory 15:49 +26 Ncfavier talk contribs (→Identity Proofs are Not Unique, 1994: link to homotopy type theory)
- diffhist Module:Footnotes 03:01 +41 Rjjiii talk contribs (adding "at" as an alias for "loc" (similar to cite xxx templates), forgot about sfnm(p))
- diffhist Module:Footnotes 02:38 +18 Rjjiii talk contribs (adding "at" as an alias for "loc" (similar to cite xxx templates) per talk page)