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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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 2025

diffhist m Real analysis 20:26 −15 KoolKamaroKid talk contribs (→Construction of the real numbers)

26 May 2025

diffhist Subtyping 11:15 0 2a00:23c8:f506:3201:72b7:8b4f:6243:f1c5 talk (The whole point of coercive subtyping is to be explicit on the use of subtyping (via the coercion functions, as explained in the rest of the paragraph). This was likely a typo, but a very confusing one.)

22 May 2025

diffhist Type theory 23:11 +4 David Eppstein talk contribs (more specific short description)