All public logs
Jump to navigation
Jump to search
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).
- 00:40, 20 April 2021 Alexelam talk contribs created page User:Alexelam/Sandbox/Axiom:Axiom of Nontriviality (Created page with "There exists a Set that contains an element.")
- 00:38, 20 April 2021 Alexelam talk contribs created page User:Alexelam/Sandbox/Definition:SEAR (Created page with "Sets Elements and Relations")
- 00:29, 20 April 2021 Alexelam talk contribs created page User:Alexelam/Sandbox/Definition:ETCS (Created page with "== Definition == <onlyinclude> Elementary Theory of the Categories of Sets.")
- 00:28, 20 April 2021 Alexelam talk contribs created page Alexelam/Sandbox/Definition:ETCS (Created page with "== Definition == <onlyinclude> Elementary Theory of the Categories of Sets.")
- 00:25, 20 April 2021 Alexelam talk contribs created page Proofwiki.org/wiki/Alexelam/Sandbox/Definition:ETCS (Created page with "== Definition == <onlyinclude> Elementary Theory of the Categories of Sets.")
- 00:12, 20 April 2021 Alexelam talk contribs created page User:Alexelam/Sandbox (Created page with "WIP: Alexelam/Sandbox/Definition:ETCS")
- 05:39, 8 April 2021 Alexelam talk contribs created page Power of a Point Theorem (Created page with "The Power of a Point Theorem is a generalization of the Intersecting Chord Theorem")
- 05:37, 8 April 2021 Alexelam talk contribs created page Stone-Weierstrass Theorem (Created page with "The Stone-Weierstrass Theorem is an generalization of the Weierstrass_Approximation_Theorem.")
- 05:16, 8 April 2021 Alexelam talk contribs created page Simson Line Theorem (Created page with "Let there be a triangle ABC. Let there be a point P on a given point on triangle ABC's circumcircle. The Simson Line Theorem states that if we were to take the line segments...")
- 04:37, 8 April 2021 Alexelam talk contribs created page Art Gallery Problem (Created page with "The Art Gallery Problem asks what is the minimum number of points on the edge of a simple 2d polygon needed, so that every point within the polygon has a straight line path (e...")
- 23:43, 7 April 2021 Alexelam talk contribs uploaded File:Pythagtree.svg
- 23:43, 7 April 2021 Alexelam talk contribs created page File:Pythagtree.svg