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
29 May 2024
- diffhist m Ordinal analysis 05:25 −3 旅に出よう一人で talk contribs (typo) Tag: Visual edit
28 May 2024
- diffhist Mathematical proof 00:56 −98 David Eppstein talk contribs (→Proof by exhaustion: updates off-topic here; remove dated stmt)
27 May 2024
- diffhist Hilbert system 06:00 +105 2a00:8a60:c010:1::1:118b talk (Fix statement about necessitation and substitution rules.)
26 May 2024
- diffhist m Gentzen's consistency proof 02:54 −8 IznoRepeat talk contribs (→References: remove Template:Date per documentation; genfixes) Tag: AWB
25 May 2024
- diffhist Epsilon calculus 22:35 −229 35.139.154.158 talk (Undid revision 1225350999 by Georgydunaev (talk) unsourced, and no context what this is actually talking about) Tags: Undo section blanking
23 May 2024
- diffhist Epsilon calculus 21:45 +229 Georgydunaev talk contribs Tag: Reverted