Related changes

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 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).)
• diffhist m Ring homomorphism 17:17 +2 GTrang talk contribs (→Non-examples: Fixed typo.)

14 July 2025

• diffhist Zermelo–Fraenkel set theory 20:02 +152 41.230.140.43 talk (→Axiom of infinity) Tag: Visual edit: Switched
• diffhist Sentence (mathematical logic) 06:05 +23 FatalSubjectivities talk contribs ({{other uses|Sentence}}) Tag: Disambiguation links added
• diffhist Hausdorff maximal principle 02:29 +222 2600:8806:6302:7d00:e8f7:4def:aec8:3a1e talk (→Proof 1: Format the lemma using math-theorem) Tag: Visual edit
• diffhist Hausdorff maximal principle 01:58 +15 98.169.11.161 talk (The symbol P was never defined in the lemma.) Tag: Visual edit

13 July 2025

• diffhist m Substitution (logic) 16:23 0 Pacomatic talk contribs (Fixed typo in 'if and onlt if')
• diffhist m Propositional calculus 02:26 −1 Hipatius talk contribs (Deleted an additional ">".)

12 July 2025

• diffhist Permutation 12:36 +4 82.77.240.52 talk (→History)

11 July 2025

• diffhist Binary relation 14:50 +8 Maxeto0910 talk contribs (period after sentence) Tag: Visual edit
• diffhist Reflexive relation 14:50 −1 Maxeto0910 talk contribs (→Etymology: no sentence) Tag: Visual edit
• diffhist Template:Binary relations 11:06 +6 Jochen Burghardt talk contribs (re-locate line breaks in caption to minimize hor. space, without increasing vert. space (isn't there a style that does this automatically !?))
• diffhist Finite topological space 07:46 +43 LucasBrown talk contribs (Added short description) Tags: Mobile edit Mobile app edit Android app edit App description add
• diffhist Well-quasi-ordering 05:14 −256 David Eppstein talk contribs (→Wqo's versus well partial orders: rm unsourced editorialization)
• diffhist Well-quasi-ordering 05:13 +3 David Eppstein talk contribs (use efn)
• diffhist Well-quasi-ordering 05:12 +8 David Eppstein talk contribs (promote Milner to a footnote)
• diffhist Well-quasi-ordering 05:11 +50 David Eppstein talk contribs (This was entirely CS1 in 2011; standardize on that. Relegate unfootnoted refs to further reading)
• diffhist Well-quasi-ordering 05:07 +335 David Eppstein talk contribs (→Ordinal type: provide requested citation)

10 July 2025

• diffhist Sentence (mathematical logic) 13:25 +16 Villaida talk contribs (removed stub template) Tag: Visual edit

9 July 2025

• diffhist Interval (mathematics) 18:32 +8 The Word & Ampersand talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
• diffhist Binary relation 16:57 +448 AnomieBOT talk contribs (Rescuing orphaned refs ("gs" from rev 1299645176; "Schroder.1895" from rev 1299645176; "Lewis.1918" from rev 1299645176))
• diffhist Binary relation 16:29 −39 D.Lazard talk contribs (Reverted 1 edit by Villaida (talk): Duplicate) Tags: Twinkle Undo
• diffhist Binary relation 16:28 +39 Villaida talk contribs (fixed ref list error) Tag: Reverted
• diffhist Binary relation 16:27 −10 D.Lazard talk contribs (→Notes: + {{notelist}})
• diffhist Binary relation 16:25 −16 D.Lazard talk contribs (→Definition: {{efn}})
• diffhist Binary relation 16:16 −1,118 D.Lazard talk contribs (shortening the lead (The calculus of relations is too specialized and too technical for the lead))
• diffhist Binary relation 15:59 +37 D.Lazard talk contribs (→top: ce)
• diffhist Binary relation 15:41 −1,606 D.Lazard talk contribs (Reverted 1 edit by Dragomang87 (talk): The lead is already too long. The lead must not use terms such as "symmetric relation" without definition) Tags: Twinkle Undo
• diffhist Binary relation 15:04 +1,606 Dragomang87 talk contribs (Improved text, clarity and separation of concepts: separating prime from integers is a bad way of creating a non-homogeneous relation because the page for the divide relation is indeed homogeneous, also the definition as subset and element of power set was mixed with the definition of homogeneous, while the power-set related operations where on a separate paragraphs) Tag: Reverted
• diffhist Partial equivalence relation 14:24 +52 Jochen Burghardt talk contribs (→Properties and applications: also mention quasi-refl.)
• diffhist Partial equivalence relation 14:17 +54 Jochen Burghardt talk contribs (→Properties and applications: add "<math>R</math> is " for all items)
• diffhist Equivalence class 14:14 −98 Jochen Burghardt talk contribs (→See also: shorten description; only coverage agrees for equivalent inputs, not "behavior")
• diffhist Equivalence class 14:11 −20 Jochen Burghardt talk contribs (→External links)
• diffhist Equivalence class 14:10 −50 Jochen Burghardt talk contribs (→External links: now in side tab)