Fix notations and typos, and shorten proof of lemma A1.1

2022-06-15 22:51:58 +02:00
parent d254a3e3f4
commit fddcf91b6a
3 changed files with 40 additions and 78 deletions
--- a/2
+++ b/2
@ -28,6 +28,8 @@ Some extra functionality is provided in custom style files, located in the
  gnuplot
  meankondo v1.5

+meankondo is available from http://ian.jauslin.org/software/meankondo
+

 * Files: