# All public logs

Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 15:56, 24 March 2018 Barto (talk | contribs) moved page Definition:Complement (Group Theory) to Definition:Complement of Subgroup (more descriptive title)
- 15:56, 24 March 2018 Barto (talk | contribs) moved page Definition talk:Complement (Group Theory) to Definition talk:Complement of Subgroup (more descriptive title)
- 15:36, 23 March 2018 Barto (talk | contribs) moved page Definition:Group Direct Product to Definition:Direct Product of Groups (naming of direct products, see User talk:Barto#Consistent naming)
- 15:36, 23 March 2018 Barto (talk | contribs) moved page Definition:Group Direct Product/General Definition to Definition:Direct Product of Groups/General Definition (naming of direct products, see User talk:Barto#Consistent naming)
- 17:50, 21 March 2018 Barto (talk | contribs) moved page Definition:Gradation to Definition:Gradation Compatible with Ring Structure
- 17:50, 21 March 2018 Barto (talk | contribs) moved page Definition talk:Gradation to Definition talk:Gradation Compatible with Ring Structure
- 17:13, 21 March 2018 Barto (talk | contribs) moved page Definition:Ring Action to Definition:Linear Ring Action (more descriptive, though little danger of confusion)
- 14:43, 21 March 2018 Barto (talk | contribs) deleted page Definition:Irreducible Polynomial (Deleted to make way for move from "Definition:Irreducible (Ring Theory)/Polynomial")
- 14:43, 21 March 2018 Barto (talk | contribs) moved page Definition:Irreducible (Ring Theory)/Polynomial to Definition:Irreducible Polynomial (page hierarchy becomes too complex)
- 18:54, 18 March 2018 Barto (talk | contribs) deleted page Definition:Module Structure of Ring under Ring (content was: "{{mergeto|Definition:Module Defined by Ring Homomorphism}} == Definition == Let $A$ be a Definition:Commutative Ring with Unity|commutati...", and the only contributor was "Barto" (talk))
- 13:49, 18 March 2018 Barto (talk | contribs) moved page Cayley-Hamilton Theorem for Finitely Generated Modules to Cayley-Hamilton Theorem/Finitely Generated Modules
- 13:32, 18 March 2018 Barto (talk | contribs) moved page Cayley-Hamilton Theorem for Matrices to Cayley-Hamilton Theorem/Matrices
- 13:57, 17 March 2018 Barto (talk | contribs) moved page Definition:Minimal Condition on Ordered Set to Definition:Minimal Condition/Ordered Set
- 13:25, 17 March 2018 Barto (talk | contribs) moved page Definition:Well-Founded to Definition:Well-Founded Ordered Set (ambiguous title)
- 13:25, 17 March 2018 Barto (talk | contribs) moved page Definition talk:Well-Founded to Definition talk:Well-Founded Ordered Set (ambiguous title)
- 08:56, 17 March 2018 Barto (talk | contribs) deleted page Defintion:Dedekind Domain (content was: "#REDIRECT Definition:Dedekind Domain", and the only contributor was "Barto" (talk))
- 08:56, 17 March 2018 Barto (talk | contribs) moved page Defintion:Dedekind Domain to Definition:Dedekind Domain (typo)
- 13:29, 16 March 2018 Barto (talk | contribs) moved page Definition:Ring of Integers of a Number Field to Definition:Ring of Integers of Number Field (dropped the article)
- 06:37, 16 March 2018 Barto (talk | contribs) moved page Definition:Zariski Topology/Commutative Ring to Definition:Zariski Topology/Spectrum of Ring (more descriptive title)
- 16:16, 9 March 2018 Barto (talk | contribs) moved page Definition:Residue Field to Definition:Residue Field of Local Ring
- 10:49, 9 March 2018 Barto (talk | contribs) moved page Definition:Nilpotent Element to Definition:Nilpotent Ring Element
- 10:07, 9 March 2018 Barto (talk | contribs) moved page Correspondence Theorem for Surjective Ring Homomorphisms to Correspondence Theorem for Ring Epimorphisms (shorter terminology)
- 09:33, 9 March 2018 Barto (talk | contribs) moved page Definition:Inclusion-Reversing to Definition:Inclusion-Reversing Mapping
- 16:41, 18 February 2018 Barto (talk | contribs) deleted page Decomposition of Field Extension as Separable Extension followed by Inseparable (content was: "#REDIRECT Decomposition of Field Extension as Separable Extension followed by Purely Inseparable", and the only contributor was "Barto" (talk))
- 16:40, 18 February 2018 Barto (talk | contribs) moved page Decomposition of Field Extension as Separable Extension followed by Inseparable to Decomposition of Field Extension as Separable Extension followed by Purely Inseparable
- 15:57, 18 February 2018 Barto (talk | contribs) moved page Definition:Purely Inseparable Extension to Definition:Purely Inseparable Field Extension
- 13:39, 18 February 2018 Barto (talk | contribs) deleted page Definition:Galois Extension/Definition 1 (content was: "#REDIRECT Definition:Galois Extension/Finite/Definition 1", and the only contributor was "Barto" (talk))
- 13:39, 18 February 2018 Barto (talk | contribs) deleted page Definition:Galois Extension/Definition 3 (content was: "#REDIRECT Definition:Galois Extension/Finite/Definition 3", and the only contributor was "Barto" (talk))
- 13:39, 18 February 2018 Barto (talk | contribs) deleted page Definition:Galois Extension/Definition 2 (content was: "#REDIRECT Definition:Galois Extension/Finite/Definition 2", and the only contributor was "Barto" (talk))
- 13:33, 18 February 2018 Barto (talk | contribs) moved page Equivalence of Definitions of Galois Extension to Equivalence of Definitions of Finite Galois Extension
- 13:28, 18 February 2018 Barto (talk | contribs) moved page Definition:Galois Extension to Definition:Galois Extension/Finite
- 13:28, 18 February 2018 Barto (talk | contribs) moved page Definition:Galois Extension/Definition 1 to Definition:Galois Extension/Finite/Definition 1
- 13:28, 18 February 2018 Barto (talk | contribs) moved page Definition:Galois Extension/Definition 2 to Definition:Galois Extension/Finite/Definition 2
- 13:28, 18 February 2018 Barto (talk | contribs) moved page Definition:Galois Extension/Definition 3 to Definition:Galois Extension/Finite/Definition 3
- 16:12, 22 January 2018 Barto (talk | contribs) moved page Definition:Zero Morphism to Definition:Zero Morphism via Zero Object (ambiguous title)
- 16:08, 21 January 2018 Barto (talk | contribs) moved page Set as Discrete Category to Discrete Category on Set is Discrete Category
- 15:44, 21 January 2018 Barto (talk | contribs) moved page Definition:Short Exact Sequence to Definition:Short Exact Sequence of Modules
- 15:37, 21 January 2018 Barto (talk | contribs) moved page Definition:Exact Sequence to Definition:Exact Sequence of Modules
- 15:37, 21 January 2018 Barto (talk | contribs) moved page Definition talk:Exact Sequence to Definition talk:Exact Sequence of Modules
- 10:50, 21 January 2018 Barto (talk | contribs) moved page Bound for Difference of Limit of Simple Infinite Continued Fraction with Convergent to Accuracy of Convergents of Convergent Simple Infinite Continued Fraction (grouping pages with similar results)
- 10:46, 21 January 2018 Barto (talk | contribs) deleted page Accuracy of Convergents of Continued Fraction/Corollary (content was: "#REDIRECT Accuracy of Convergents of Continued Fraction Expansion of Irrational Number/Corollary", and the only contributor was "Barto" (talk))
- 10:45, 21 January 2018 Barto (talk | contribs) moved page Accuracy of Convergents of Continued Fraction/Corollary to Accuracy of Convergents of Continued Fraction Expansion of Irrational Number/Corollary (title is ambiguous)
- 10:45, 21 January 2018 Barto (talk | contribs) moved page Accuracy of Convergents of Continued Fraction to Accuracy of Convergents of Continued Fraction Expansion of Irrational Number (title is ambiguous)
- 09:16, 21 January 2018 Barto (talk | contribs) moved page Relative Sizes of Convergents of Simple Continued Fraction to Even Convergent of Simple Continued Fraction is Strictly Smaller than Odd Convergent (more descriptive title, first two results have been moved to Properties of Convergents of Continued Fractions)
- 08:41, 21 January 2018 Barto (talk | contribs) deleted redirect Properties of Convergents of Continued Fractions by overwriting (Deleted to make way for move from "Properties of Convergents of Simple Continued Fractions")
- 08:41, 21 January 2018 Barto (talk | contribs) moved page Properties of Convergents of Simple Continued Fractions to Properties of Convergents of Continued Fractions over redirect (not only for simple)
- 18:18, 20 January 2018 Barto (talk | contribs) moved page Value of Simple Finite Continued Fraction to Value of Finite Continued Fraction equals Numerator Divided by Denominator
- 16:44, 20 January 2018 Barto (talk | contribs) deleted page Definition:Continued Fraction/Expansion (content was: "#REDIRECT Definition:Continued Fraction Expansion", and the only contributor was "Barto" (talk))
- 16:43, 20 January 2018 Barto (talk | contribs) deleted page Definition:Continued Fraction Expansion (Deleted to make way for move from "Definition:Continued Fraction/Expansion")
- 16:43, 20 January 2018 Barto (talk | contribs) moved page Definition:Continued Fraction/Expansion to Definition:Continued Fraction Expansion