 Peter Harpending
|
a809e0dc07
Merge github.com:gazay/lysa into ru
|
9 éve |
|
Peter Harpending
|
6201d20629
[en][§5] Start writing section about NQ bijection.
|
9 éve |
|
Peter Harpending
|
bdf451150d
[en] Listings are now automatically captioned.
|
9 éve |
|
Peter Harpending
|
c1aefc4af3
[en] Tweak the NQ bijection graph a bit.
|
9 éve |
|
Peter Harpending
|
e3a0b83088
[en][§G] Edit §G a bit
|
9 éve |
|
Peter Harpending
|
4f9e50532d
[en][§G] A \cref is now a \cite
|
9 éve |
|
Peter Harpending
|
dd79845a09
[en] Add environments for theorems and axioms
|
9 éve |
|
Peter Harpending
|
6ec79232eb
[en] Add a .projectile file to the en/book folder
|
9 éve |
|
Peter Harpending
|
52571be016
[en][§G] Edit the peano axioms appendix a bit.
|
9 éve |
|
Peter Harpending
|
663a6300a8
[en] Add a source for Galileo's paradox.
|
9 éve |
|
Peter Harpending
|
5b5f5e762c
[en][§5] Add sections on function plots and cardinalities.
|
9 éve |
|
Peter Harpending
|
358ef4701e
[en] Add a "this is the required knowledge" section.
|
9 éve |
|
Peter Harpending
|
e5427383f5
[en] Add a label to the piecewise functions section.
|
9 éve |
|
Peter Harpending
|
aff5546b86
[en] Tweak VectorGraph2
|
9 éve |
|
Peter Harpending
|
9405bb918f
[en][§D] Add newline at end of file
|
9 éve |
|
Peter Harpending
|
db0a7af224
[en] Tweak the NQ-bijection graphs a bit.
|
9 éve |
|
Peter Harpending
|
8c2a8ad3a8
[en] Tweak the NZ-bijection graphs a bit
|
9 éve |
|
Peter Harpending
|
56fec2c2c1
[en] Add more macros for cardinal relations
|
9 éve |
|
Peter Harpending
|
c81a28f38f
[en] Add an "x squared curve"
|
9 éve |
|
Peter Harpending
|
e67214ab55
[en] Add a macro for "cardinally greater than or equal to"
|
9 éve |
|
Peter Harpending
|
4053f0e6ff
[en] Fix a typo in the outline.
|
9 éve |
|
Peter Harpending
|
e741e666c1
[en][§G] Add an appendix for Peano axioms.
|
9 éve |
|
Peter Harpending
|
16da44dc9a
[en][§4] Vocabulary is now a subsection, not section
|
9 éve |
|
Peter Harpending
|
a3f87109e1
[en][§1] Add on to book-is-unfinished note
|
9 éve |
|
Peter Harpending
|
bf0edb7025
[en][§5] Move stuff about NZ-correspondence to §6
|
9 éve |
|
Peter Harpending
|
a325a6801b
[en] Remove commented out imports in lysa.ltx
|
9 éve |
|
Peter Harpending
|
0d3e2d5767
[en][outline] Proofs are now in an appendix
|
9 éve |
|
Peter Harpending
|
8fb5f672dd
[en] Move piecewise functions thing §5->§4
|
9 éve |
|
Peter Harpending
|
c0979aa63c
[en][§2] Add some exercises
|
9 éve |
|
Peter Harpending
|
e7c8fc4b00
[en][§3] Redo wording in "sets are easier" note.
|
9 éve |
