User contributions for St.nerol

For St.nerol talk block log uploads logs

Jump to navigation Jump to search

11:0211:02, 3 December 2023 diff hist +305‎ Talk:Characteristics of Finite Tree ‎No edit summary
11:0011:00, 3 December 2023 diff hist +163‎ Talk:Characteristics of Finite Tree ‎No edit summary
10:0410:04, 3 December 2023 diff hist +264‎ Talk:Characteristics of Finite Tree ‎No edit summary
10:0010:00, 3 December 2023 diff hist +366‎ Talk:Characteristics of Finite Tree ‎No edit summary
09:5509:55, 3 December 2023 diff hist +1‎ Talk:Characteristics of Finite Tree ‎No edit summary
09:5209:52, 3 December 2023 diff hist +149‎ Talk:Characteristics of Finite Tree ‎No edit summary
09:3909:39, 3 December 2023 diff hist +171‎ Talk:Characteristics of Finite Tree ‎No edit summary
09:3809:38, 3 December 2023 diff hist −8‎ m Characteristics of Finite Tree ‎ rm math mode to fix contents Tag: Reverted

15:0815:08, 1 December 2023 diff hist +3‎ Talk:Characteristics of Finite Tree ‎No edit summary
15:0715:07, 1 December 2023 diff hist +232‎ Talk:Characteristics of Finite Tree ‎No edit summary
13:5013:50, 1 December 2023 diff hist 0‎ m Talk:Characteristics of Finite Tree ‎No edit summary
13:4313:43, 1 December 2023 diff hist +236‎ Talk:Characteristics of Finite Tree ‎No edit summary
13:3613:36, 1 December 2023 diff hist +334‎ Talk:Characteristics of Finite Tree ‎No edit summary
10:5010:50, 1 December 2023 diff hist +54‎ Characteristics of Finite Tree ‎ Adding "see also" Tag: Reverted
10:4810:48, 1 December 2023 diff hist +3‎ Characteristics of Finite Tree ‎ We can't start by defining T to be a finite tree... Tag: Reverted

19:5119:51, 30 November 2023 diff hist −1‎ m Characteristics of Finite Tree ‎No edit summary Tag: Reverted
19:5019:50, 30 November 2023 diff hist +316‎ Characteristics of Finite Tree ‎ polishing of initial statement and "See also" Tag: Reverted

08:0408:04, 19 September 2023 diff hist +182‎ Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary

09:0509:05, 14 September 2023 diff hist +9‎ m Definition:Disjunction/Also known as ‎No edit summary Tag: Reverted
09:0509:05, 14 September 2023 diff hist +5‎ Definition:Disjunction/Also known as ‎ meaning of "vel" Tag: Reverted

19:0719:07, 11 September 2023 diff hist −1‎ m Pi is Irrational/Historical Note ‎No edit summary current

20:0920:09, 9 September 2023 diff hist +322‎ Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary
20:0320:03, 9 September 2023 diff hist +453‎ User talk:GFauxPas ‎ →‎Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum: new section current

10:1810:18, 7 September 2023 diff hist +4‎ m Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary
10:1210:12, 7 September 2023 diff hist +2‎ m Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary
10:1110:11, 7 September 2023 diff hist +629‎ Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎ →‎Two proofs: new section
09:4909:49, 7 September 2023 diff hist +221‎ N Definition talk:Summation/Propositional Function/Iverson's Convention ‎ Created page with "==Summand section== The summand section is not a perfect fit here since the definition doesn't say anything about $ 1 \le j \le n$. –~~~~"
09:4609:46, 7 September 2023 diff hist +71‎ Definition:Iverson's Convention ‎ adding See also to use in sums
09:4409:44, 7 September 2023 diff hist +183‎ Definition talk:Very Strong Zero ‎No edit summary
09:4209:42, 7 September 2023 diff hist +21‎ Definition:Very Strong Zero ‎No edit summary
09:4009:40, 7 September 2023 diff hist +199‎ Definition:Very Strong Zero ‎ Expanding example
09:3909:39, 7 September 2023 diff hist +171‎ Definition:Summation ‎ including the Iverson bracket
09:3909:39, 7 September 2023 diff hist −15‎ Definition:Summation/Propositional Function/Iverson's Convention ‎ rm Z; doesn't fit with the definition Tag: Reverted

11:0911:09, 6 September 2023 diff hist +64‎ Definition:Very Strong Zero ‎No edit summary
11:0311:03, 6 September 2023 diff hist +2‎ m Definition:Iverson's Convention ‎No edit summary
11:0211:02, 6 September 2023 diff hist +65‎ Definition:Iverson's Convention ‎ clarifying "strong zero"

11:0311:03, 5 September 2023 diff hist +102‎ Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary
10:5510:55, 5 September 2023 diff hist +300‎ Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary

20:3720:37, 4 September 2023 diff hist +38‎ Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎No edit summary
20:3420:34, 4 September 2023 diff hist +386‎ N Talk:Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum ‎ Created page with "==Disjoint family of sets== How does the statement "Thus the sets in $\family {F_i}$ are disjoint." follow from the lines above? For an arbitrary $\ds S \in \bigcup_{k \mathop \in \N} F_k$, there is some first $k$ such that $S \in F_k$. Okay... and thus, disjoint sets? It might follow, but I don't! ~~~~"

18:2018:20, 19 August 2023 diff hist −1‎ m Category talk:Proven Results ‎No edit summary
15:3015:30, 19 August 2023 diff hist +227‎ N ProofWiki talk:About ‎ Created page with "==Maintainers== It seems that the information about who is maintaining this site is out of date. Would any administrator care to update it? –~~~~"
15:1915:19, 19 August 2023 diff hist +5‎ m Category talk:Proven Results ‎No edit summary
15:0815:08, 19 August 2023 diff hist +26‎ Definition:Disjunction/Semantics of Disjunction ‎No edit summary current
15:0615:06, 19 August 2023 diff hist 0‎ Definition:Disjunction ‎No edit summary
15:0615:06, 19 August 2023 diff hist +9‎ m Definition:Disjunction ‎No edit summary
15:0515:05, 19 August 2023 diff hist −6‎ Definition:Disjunction ‎No edit summary
15:0215:02, 19 August 2023 diff hist +142‎ Definition:Exclusive Or ‎No edit summary
14:5914:59, 19 August 2023 diff hist +657‎ N Definition:Exclusive Or/Semantics of Exclusive Or ‎ Created page with "== Semantics of Exclusive Or == Let $p \oplus q$ denote the exclusive disjunction of two statements $p$ and $q$. <onlyinclude> The '''exclusive disjunction''' is used to represent any statement in natural language such that exactly one of two substatements are held to be Definition:Tr..."
14:3914:39, 19 August 2023 diff hist +398‎ Category talk:Proven Results ‎No edit summary

Retrieved from "https://proofwiki.org/wiki/Special:Contributions/St.nerol"