Related changes

5 July 2025

• diffhist Empty set 23:28 −24 Remsense talk contribs (Reverted 2 edits by 98.243.254.38 (talk): Far better before imo. what are we doing, nesting quotes and emphasis?) Tags: Twinkle Undo
• diffhist Empty set 23:27 +1 98.243.254.38 talk (→Properties) Tag: Reverted
• diffhist Empty set 23:26 +23 98.243.254.38 talk (→Properties) Tag: Reverted
• diffhist Category theory 19:56 +35 David Eppstein talk contribs (M. Cristina Pedicchio)
• diffhist Proof theory 19:20 +31 184.178.159.252 talk (“More broadly, it belongs to what Prawitz called general proof theory (see section 1.1).” https://plato.stanford.edu/entries/proof-theoretic-semantics/) Tags: Mobile edit Mobile web edit
• diffhist New Foundations 17:45 −3 2a00:23c5:fe1c:3701:5d6:19d8:a6c5:35cb talk (grammar)
• diffhist m Rank (linear algebra) 15:37 −6 BenKovitz talk contribs (→Proof using row reduction: ce: rm "forms")
• 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 Module:Footnotes/whitelist 13:58 +104 Redrose64 talk contribs (add entries for CITEREFLindsay1968 and CITEREFPopplewell1989)
• diffhist Non-Euclidean geometry 13:54 +64 Quondum talk contribs (tweaks)
• 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.)

4 July 2025

• diffhist Vector space 23:27 +20 Goodphy talk contribs (→Linear maps and matrices: Fixed a grammatic error.) Tag: Visual edit
• diffhist Vector space 23:24 +35 Goodphy talk contribs (→Linear maps and matrices: Optimized a sentence.) Tag: Visual edit
• diffhist Vector space 23:18 +319 Goodphy talk contribs (→Linear maps and matrices: Elaborated a linear map definition.) Tag: Visual edit
• 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 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 Constructive set theory 13:58 +9 217.76.162.32 talk (Qualify)
• 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 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 Matrix (mathematics) 03:56 −62 慈居 talk contribs (→Matrices with entries in a category: link 1-morphism and remove Template:Clarification needed)
• diffhist Matrix (mathematics) 03:49 −36 慈居 talk contribs (→Matrices with entries in a category: rephrase and remove Template:Citation needed)
• diffhist Matrix (mathematics) 03:44 −40 慈居 talk contribs (→Matrices with entries in a category: remove Template:Unreferenced)
• diffhist Matrix (mathematics) 03:44 +325 慈居 talk contribs (→Mathematical references: add missing reference)
• diffhist Matrix (mathematics) 01:44 +138 Dedhert.Jr talk contribs (→Matrices with entries in a category: unreferenced section; technical; what is 1-morphism?)

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)
• diffhist Formal system 23:22 +16 Yesterday, all my dreams... talk contribs (link)
• diffhist m Tautology (logic) 23:02 0 WeHoDavid talk contribs (I transposed the positions of a comma and a quotation mark.) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Morphism 22:58 0 Goodphy talk contribs (→Monomorphisms and epimorphisms: Fixed a typo (t --> r).) Tag: Visual edit
• diffhist Euclid's Elements 14:36 +14 D.Lazard talk contribs (→top: caption format)
• diffhist Euclid's Elements 14:24 +776 Mellangoose talk contribs (added note of papyrus) Tag: Visual edit
• diffhist Surjective function 14:12 −1,534 D.Lazard talk contribs (→Gallery: rm 2 images: unreadable without zooming, and confusing after a zoom)
• diffhist Euclid's Elements 13:57 +33 Mellangoose talk contribs (updated image) Tag: Visual edit
• diffhist Surjective function 13:57 −427 D.Lazard talk contribs (→Cardinality of the domain of a surjection: not a common notation)
• diffhist Morphism 11:02 +541 D.Lazard talk contribs (→Monomorphisms and epimorphisms: providing examples)
• diffhist Morphism 10:42 −158 D.Lazard talk contribs (Undid revision 1298560254 by Goodphy (talk))
• diffhist m Injective function 07:48 +4 Akhunpochoev Jamshed talk contribs Tag: Visual edit
• diffhist Morphism 07:20 +189 Goodphy talk contribs (→Monomorphisms and epimorphisms: Added more explanations to make smoother reading.) Tag: Visual edit
• diffhist Mathematics 07:08 −26 D.Lazard talk contribs (Reverted 1 edit by Hooman Mallahzadeh (talk): MOS:OL. This sentence has been lengthy discussed on the talk page, and any change requires a new consensus) Tags: Twinkle Undo
• diffhist Mathematics 06:55 +26 Hooman Mallahzadeh talk contribs (Linking.) Tag: Reverted
• diffhist Surjective function 06:54 +188 Goodphy talk contribs (→Surjections as epimorphisms: Added a resource showing the proof that a function is surjective if and only if it is right-cancellative.) Tag: Visual edit
• diffhist m Matrix (mathematics) 06:50 +5 Farkle Griffen talk contribs (is -> denotes) Tag: Visual edit
• diffhist Matrix (mathematics) 06:43 −6 Farkle Griffen talk contribs (→Definition: Consistency: symbols/expressions -> objects) Tag: Visual edit
• diffhist Matrix (mathematics) 05:05 −38 Farkle Griffen talk contribs (I still take issue with the term "represent" here) Tag: Visual edit