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
23 June 2025
- diffhist m Von Neumann universe 04:27 +30 Barçaforlife talk contribs (→Finite and low cardinality stages of the hierarchy)
- diffhist m Proposition 03:20 −42 GoingBatty talk contribs (General fixes & manual cleanup) Tag: AWB
21 June 2025
- diffhist m Intuitionistic logic 18:57 0 Chris the speller talk contribs (→Mathematical constructivism: replaced: commonly-used → commonly used) Tag: AWB
19 June 2025
- diffhist Proposition 17:00 −93 Klbrain talk contribs (Removing merge template after merging (easy-merge))
- diffhist Proposition 16:59 +139 Klbrain talk contribs (→See also: Adding some 'see also' as part of the merge)
- diffhist Proposition 16:57 +5,297 Klbrain talk contribs (Merge from Statement (logic) following 2024 proposal with consensus; overlap; see Talk:Proposition#Merger proposal)
- diffhist Upper set 14:45 0 Jochen Burghardt talk contribs (Undid revision 1296187920 by Skirdes (talk): avoid introducing \geq as "converse relation" (needs own explanation) of \leq) Tag: Undo