User contributions for Dkm
Jump to navigation
Jump to search
13 November 2011
- 06:2306:23, 13 November 2011 diff hist 0 m König's Lemma →Proof: fixed typo
- 06:2106:21, 13 November 2011 diff hist −2 m König's Lemma fixed typo
- 06:1806:18, 13 November 2011 diff hist −2,124 König's Lemma Fixed major problems, e.g., "there are a finite number of paths from v_1" was not generally true in its context.
- 04:4804:48, 13 November 2011 diff hist +370 N Axiom:Axiom of Dependent Choice Created page with "The axiom of dependent choice is the proposition that if $R$ is a binary relation on a non-empty set $S$ and for all $a\in S$ there exists $b$ su..."