Related changes
Appearance
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
20 July 2025
- diffhist Topology 20:48 +704 AllCatsAreGrey talk contribs (Rescuing 4 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]
- diffhist Inverse limit 14:12 +341 D.Lazard talk contribs (→Algebraic objects: expanding the last paragrph)
- diffhist Inverse limit 14:03 −127 D.Lazard talk contribs (→Algebraic objects: clarifying revent addition, MOS:NOTE, WP:REPCITE)
- diffhist m Inverse limit 11:02 −10 AdamKolany talk contribs (→Algebraic objects)
- diffhist m Inverse limit 11:01 +338 AdamKolany talk contribs (→Algebraic objects: Supplementary Comment on the Definition of an Inverse Limit.)
- diffhist Homotopy type theory 07:40 −1 174.138.212.166 talk (MOS:REFERS) Tag: Visual edit
19 July 2025
- diffhist Peano axioms 19:26 +16 Tassedethe talk contribs
- diffhist m Foundations of mathematics 19:22 +15 Tassedethe talk contribs (v2.05 - fix links - Jeremy Gray / Fix errors for CW project (Whitespace characters after heading)) Tag: WPCleaner
- diffhist Natural transformation 13:25 −345 Sheddow talk contribs (→Definition: I'm struggling to understand what this sentence means - I don't think it belongs here) Tags: Mobile edit Mobile web edit
- diffhist Natural transformation 13:24 −611 Sheddow talk contribs (→Definition: This is just a repetition of the definition of a natural isomorphism, and adds no new information) Tags: Mobile edit Mobile web edit
- Page curation log 09:41 Onel5969 talk contribs marked the article Joyal model structure as reviewed Tag: PageTriage
- Page curation log 09:41 Onel5969 talk contribs tagged Joyal model structure with primary sources tag Tag: PageTriage
- diffhist Joyal model structure 09:41 +35 Onel5969 talk contribs (Added tags to the page using Page Curation (primary sources)) Tag: PageTriage
- diffhist m Functor 00:51 +1 Avarai talk contribs (→Definition: Punctuation) Tags: Mobile edit Mobile app edit Android app edit App select source
- diffhist Functor 00:48 −8 Avarai talk contribs (→top: Clarity) Tags: Mobile edit Mobile app edit Android app edit App select source
18 July 2025
- diffhist Dependent type 06:21 +26 Cedar101 talk contribs (→Comparison of languages with dependent types: sort-under)
17 July 2025
16 July 2025
- diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
- diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
- diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
- diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
- diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
- diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
- diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
15 July 2025
- diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
- diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
- diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
- diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
- diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
- diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))
- diffhist Axiomatic system 21:56 −13 Yesterday, all my dreams... talk contribs (→Example: these axioms are deductive, not semantic)
- diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
- diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
- diffhist Zermelo–Fraenkel set theory 17:35 +36 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed "Axiom of pairing")
- diffhist Zermelo–Fraenkel set theory 17:20 +3 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed false statement (and bad grammar).)