Sun, 09 Jul 2023 02:08:12 +0100 Chengsong finished 4.3.2 section explaining why lemma 11 is too strong
Sun, 09 Jul 2023 00:29:02 +0100 Chengsong Fixed some annotated/unannotated a/r notation inconsistencies.
Sat, 08 Jul 2023 22:18:22 +0100 Chengsong reordered sections to make chapter 4 more coherent
Sat, 08 Jul 2023 01:36:08 +0100 Chengsong updated 4.2 diagram
(0) -300 -100 -30 -10 -4 +4 +10 tip