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

1 June 2025

diffhist m Sequent calculus 12:45 +155 Marc Schroeder talk contribs (→References)
diffhist Sequent calculus 12:30 +535 Marc Schroeder talk contribs (Updated references)

31 May 2025

diffhist Gerhard Gentzen 13:46 +29 Takeschutte talk contribs (Added proof theorists category)

25 May 2025

diffhist m Mathematics 22:50 +1 PlatinumGalaxy talk contribs (→Social sciences: Grammar and missing "and") Tag: Visual edit
diffhist Intermediate value theorem 15:59 +8 166.198.198.21 talk (→Theorem) Tags: Mobile edit Mobile web edit