Commits · master · Jim Hefferon / proofs

30 Mar, 2022 1 commit
- these two are needed to compile · c32223a2
  Jim Hefferon authored Mar 30, 2022
  
  c32223a2
03 Aug, 2021 1 commit
- add auxillary files for JIBLM · 1c0bdb08
  Jim Hefferon authored Aug 03, 2021
  
  1c0bdb08
27 Jul, 2021 1 commit
- update draft sent to JIBLM · a7536999
  Jim Hefferon authored Jul 27, 2021
  
  a7536999
26 Jul, 2021 1 commit
- edit preface for JIBLM · 84656877
  Jim Hefferon authored Jul 26, 2021
  
  84656877
11 Jul, 2021 1 commit
- adjust preface of main text · 7723a066
  Jim Hefferon authored Jul 11, 2021
  
  7723a066
03 Jul, 2021 1 commit
- settling on wording in preface · 2829a5ae
  Jim Hefferon authored Jul 03, 2021
  
  2829a5ae
02 Jul, 2021 1 commit
- adjust wording in preface · 83d5cf9f
  Jim Hefferon authored Jul 02, 2021
  
  83d5cf9f
30 Jun, 2021 1 commit
- add section on infinity, adjust preface · c14e1c80
  Jim Hefferon authored Jun 30, 2021
  
  c14e1c80
29 Jun, 2021 1 commit
- make hefferon_final.tex match changes in regular files · 883f9459
  Jim Hefferon authored Jun 29, 2021
  
  883f9459
28 Jun, 2021 1 commit
- change green in set operations drawings · 9f3d361e
  Jim Hefferon authored Jun 28, 2021
  
  9f3d361e
27 Jun, 2021 1 commit
- finished wording adjustment pass · d9c73305
  Jim Hefferon authored Jun 27, 2021
  
  d9c73305
25 Jun, 2021 3 commits
- more wording, this time on equivalence relations · 94602357
  Jim Hefferon authored Jun 25, 2021
  
  94602357
- more wording in relations section · dbd18f89
  Jim Hefferon authored Jun 25, 2021
  
  dbd18f89
- some wording in relation section · 96b89b34
  Jim Hefferon authored Jun 25, 2021
  
  96b89b34
24 Jun, 2021 1 commit
- adjust wording in inverse section · bf7d1e0d
  Jim Hefferon authored Jun 24, 2021
  
  bf7d1e0d
23 Jun, 2021 2 commits
- more work with cardinalities of finite sets · cbd20fa3
  Jim Hefferon authored Jun 23, 2021
  
  cbd20fa3
- more work on sizes of finite sets · 67a790a4
  Jim Hefferon authored Jun 23, 2021
  
  67a790a4
21 Jun, 2021 3 commits
- more wording on comparing cardinalities of finite sets · 7da0034c
  Jim Hefferon authored Jun 21, 2021
  
  7da0034c
- adjust wording of corresponding finite sets have the same size · 7e521d8d
  Jim Hefferon authored Jun 21, 2021
  
  7e521d8d
- adjust wording of section on function composition · 6618cd3c
  Jim Hefferon authored Jun 21, 2021
  
  6618cd3c
17 Jun, 2021 1 commit
- adjust wording in Function section · f077018f
  Jim Hefferon authored Jun 17, 2021
  
  f077018f
16 Jun, 2021 1 commit
- Adjust wording in section on Cartesian product · f49f4ff4
  Jim Hefferon authored Jun 16, 2021
  
  f49f4ff4
15 Jun, 2021 1 commit
- Adjust wording in section on Set operations · 528f07d3
  Jim Hefferon authored Jun 15, 2021
  
  528f07d3
14 Jun, 2021 1 commit
- adjust wording in section on sets · cd1b659f
  Jim Hefferon authored Jun 14, 2021
  
  cd1b659f
13 Jun, 2021 1 commit
- Adjust wording in section on primes · 232af2d8
  Jim Hefferon authored Jun 13, 2021
  
  232af2d8
12 Jun, 2021 2 commits
- adjust wording on p 4 · b4a4e91e
  Jim Hefferon authored Jun 12, 2021
  
  b4a4e91e
- Add first-day docs on writing and grading rubric · 7ff0fb7b
  Jim Hefferon authored Jun 12, 2021
  
  7ff0fb7b
11 Jun, 2021 1 commit
- Wording on p 3, with adjstments for Euclidean division · 9c9bcd88
  Jim Hefferon authored Jun 11, 2021
  
  9c9bcd88
10 Jun, 2021 2 commits
- Adjust wording on second page · a7640c18
  Jim Hefferon authored Jun 10, 2021
  
  a7640c18
- Adjust first page · 17751c6a
  Jim Hefferon authored Jun 10, 2021
  
  17751c6a
09 Jun, 2021 1 commit
- Extend definition of division to Euclidean def, with possibility of negative divisors · 41a31be4
  Jim Hefferon authored Jun 09, 2021
  
  41a31be4
20 Mar, 2020 1 commit
- add answers style for videos · 90f1fa07
  Jim Hefferon authored Mar 20, 2020
  
  90f1fa07
07 Dec, 2019 2 commits
- fix bad line in preface · deb1a499
  Jim Hefferon authored Dec 07, 2019
  
  deb1a499
- patsh proof that well ordering implies induction · 52b26c2a
  Jim Hefferon authored Dec 07, 2019
  
  52b26c2a
02 May, 2019 1 commit
- fix wording on two answers · ef9cd0f8
  Jim Hefferon authored May 02, 2019
  
  ef9cd0f8
17 Aug, 2018 1 commit
- believed final version JIBLM · f1c9ecde
  Jim Hefferon authored Aug 17, 2018
  
  f1c9ecde
08 Aug, 2018 2 commits
- hefferon_final submission · 127b9e9b
  Jim Hefferon authored Aug 08, 2018
  
  127b9e9b
- spell checked · 6fad7271
  Jim Hefferon authored Aug 08, 2018
  
  6fad7271
07 Aug, 2018 2 commits
- working on front matter · 011a11b9
  Jim Hefferon authored Aug 07, 2018
  
  011a11b9
- version for jiblm · bb411c4e
  Jim Hefferon authored Aug 07, 2018
  
  bb411c4e