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
3 June 2024
- diffhist New Foundations 07:20 +7 Bbbbbbbbba talk contribs (→Cantor's paradox and Cantorian sets: Now that the consistency of NF is established, it's probably time to change this statement.)
2 June 2024
- diffhist m Top type 21:27 0 Cyfal talk contribs (spelling (WP:Typo Team))
- diffhist Initial algebra 21:15 +5 Vlad Patryshev talk contribs (Notation (as requested in discussion), and fixed small errors in "final coalgebra" section)
- diffhist m Initial algebra 21:05 +31 Vlad Patryshev talk contribs (→Final coalgebra)
31 May 2024
- diffhist Ordered pair 03:49 +4 Jochen Burghardt talk contribs (→Axiomatic definition: separate the two example theorems)
30 May 2024
- diffhist m Calculus of constructions 21:04 −17 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist Ordered pair 17:40 0 Tea2min talk contribs (Undid revision 1226440174 by 108.46.136.57 (talk): It was right before.) Tag: Undo
- diffhist Ordered pair 17:14 0 108.46.136.57 talk (→Axiomatic definition: Fix bracing error) Tag: Reverted
- diffhist Type theory 08:01 +1 2a02:6b60:0:fe::8a talk (→Homotopy type theory: missing space) Tag: Visual edit
28 May 2024
- diffhist Dependent type 20:17 +1 Hellacioussatyr talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit