Related changes

5 July 2025

• diffhist Stack overflow 15:06 0 Frap talk contribs
• diffhist Ordinal number 14:57 −210 Mattjazar talk contribs (Removed citation of the 8 page children's picture book 'Ordinal Numbers' by elementary school teacher Kristin Sterling. The inclusion of this citation in the first place appears to be some sort of prank.) Tag: Visual edit
• diffhist m Set (mathematics) 14:28 −1 Kreyp talk contribs (→Infinite cardinalities)
• diffhist Non-Euclidean geometry 13:54 +64 Quondum talk contribs (tweaks)
• diffhist Stack overflow 12:56 +1 2a00:23c5:fe1c:3701:5d6:19d8:a6c5:35cb talk (comma)
• diffhist Stack overflow 12:56 +8 2a00:23c5:fe1c:3701:5d6:19d8:a6c5:35cb talk
• diffhist m Term logic 11:29 0 WiekeEngels talk contribs (I adjusted the "Ferio". This is now the same format as the 3 above. This is now logically correct. The former wasn't.)
• diffhist Philosophy 11:17 −32 Remsense talk contribs (Reverted 1 edit by Sk Alamin Sky (talk): Not needed) Tags: Twinkle Undo
• diffhist Philosophy 11:16 +32 Sk Alamin Sky talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist Thierry Coquand 11:08 +1 172.58.139.241 talk (update to reflect name change (missed one)) Tag: review edit
• diffhist Thierry Coquand 11:05 −16 172.58.139.241 talk (update to reflect name change) Tag: review edit
• diffhist Princeton University 00:30 −1 Quaerens-veritatem talk contribs (Infobox: image: seal: size to comparable larger than image_size & image size Notes but for readability & so it doesn't overwhelm space, improving the presentation without materially altering the content per image size)

4 July 2025

• diffhist Possible world 21:34 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:34 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:33 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:33 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:33 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:32 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:32 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:32 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:31 0 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:30 +16 Lindsay658 talk contribs (→See also)
• diffhist Possible world 21:30 +17 Lindsay658 talk contribs (→See also)
• diffhist Python (programming language) 21:28 0 TheOnlyZac talk contribs (Reverted 1 edit by 75.60.105.21 (talk): Section headings don't use title case by convention) Tags: Twinkle Undo
• diffhist Python (programming language) 21:25 0 75.60.105.21 talk (→Arithmetic operations) Tag: Reverted
• diffhist Possible world 20:32 +20 WeHoDavid talk contribs (Minor change to improve clarity.) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Possible world 20:30 +1 WeHoDavid talk contribs (I changed "they" to "there".) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Functional programming 20:16 +31 Westfalr3 talk contribs (→History: use lower case)
• diffhist m Functional programming 20:11 +10 Westfalr3 talk contribs (→History: use a more recognized descriptor)
• diffhist Second-order arithmetic 20:00 +4 JStein21 talk contribs (Link suggestions feature: 1 link added.) Tags: Visual edit Newcomer task Suggested: add links
• diffhist m Cardinality 19:06 0 LordDiscord talk contribs (Typo) Tags: Visual edit Mobile edit Mobile web edit
• diffhist Regular expression 18:22 −15 SarekOfVulcan talk contribs (→Character classes: fixed links)
• diffhist m Regular expression 18:17 +12 CopperyMarrow15 talk contribs (changed spelling for consistency) Tag: Visual edit
• diffhist m Boolean algebra 17:48 −4 Hipatius talk contribs (Removed a false link.)
• diffhist m Cardinality 17:02 +57 Farkle Griffen talk contribs (→Finite sets: Link to proof) Tag: Visual edit
• diffhist Finite set 16:45 +604 Farkle Griffen talk contribs (→Definition and terminology: Clarified definition) Tag: Visual edit
• diffhist Finite set 16:18 +443 Farkle Griffen talk contribs (Added missing ref) Tag: Visual edit
• diffhist Finite set 16:17 +2,180 Farkle Griffen talk contribs (Moved over uniqueness from ''Cardinality'') Tags: harv or sfn error Visual edit
• diffhist m Wayback Machine 15:39 −26 Materialscientist talk contribs (Reverted edits by 105.245.115.24 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
• diffhist Wayback Machine 15:39 +26 105.245.115.24 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Haskell 14:07 −45 Caleb Stanford talk contribs (red links) Tag: 2017 wikitext editor
• diffhist Constructive set theory 13:58 +9 217.76.162.32 talk (Qualify)
• diffhist Haskell 13:54 −62 Caleb Stanford talk contribs (I don't think this part of the sentence adds anything) Tag: 2017 wikitext editor
• diffhist m Python (programming language) 11:27 +1 Deltaspace42 talk contribs
• diffhist Primitive recursive function 10:38 +1,207 Marc Schroeder talk contribs (added definition of primitive-recursiveness of vector-valued functions; removed template errors in references and sorted them alphabetically)
• diffhist Philosophy 08:27 −13 Phlsph7 talk contribs (Undid revision 1298391730 by JzLMANS14 (talk) WP:DUPLINK) Tag: Undo
• diffhist Axiom 07:03 0 84.15.179.7 talk (→Propositional logic: fix bad line-wrap where the comma ends up lonely as the very first character at the start of a new line.)
• diffhist Haskell 05:52 +9 Jerryobject talk contribs (→Criticism: Small WP:COPYEDITs WP:EoS: WP:TERSE, clarify. WP:LINKs: add, update-standardize.)

3 July 2025

• diffhist Tautology (logic) 23:43 −2 Trovatore talk contribs (actually that comma doesn't belong there at all (nor does its pair))
• diffhist Formal system 23:26 +82 Yesterday, all my dreams... talk contribs (clarify logical completeness)