Jump to content

Related changes

← Dependent type

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.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide unregistered users | Hide my edits | Show bots | Hide minor edits | Show page categorization | Show Wikidata | Hide probably good edits
Show new changes starting from 05:48, 6 October 2025

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

6 October 2025

diffhist Natural number 03:00 +448 TheGrifter80 talk contribs (→Size of a collection: connection between intuitive notion "size of collection" to set theory) Tag: Visual edit

5 October 2025

diffhist m JavaScript 23:44 +3 Z. Patterson talk contribs (Cleaned up 1 ISBN using toolforge:anticompositetools/hyphenator #hyphenator)
diffhist m C (programming language) 23:42 +40 Z. Patterson talk contribs (Cleaned up 13 ISBNs using toolforge:anticompositetools/hyphenator #hyphenator)
diffhist m Glossary of category theory 08:32 0 TakuyaMurata talk contribs (→S)
diffhist Glossary of category theory 08:32 +50 TakuyaMurata talk contribs (→S: Schur functor)

Retrieved from "https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Dependent_type"