6 commits

Author	SHA1	Message	Date
Valentin Boettcher	2d3258b70b	main tex to flakes	2022-06-20 21:35:00 +02:00
Valentin Boettcher	0c1b268ebe	norm estimate updates	2022-04-01 18:26:59 +02:00
Valentin Boettcher	97aecd3d83	update texed notes	2022-03-15 11:48:07 +01:00
Valentin Boettcher	af47c71aab	fix the definition of the D operator	2022-02-25 20:24:31 +01:00
Valentin Boettcher	76b5b2df30	more hops tweaks texed	2022-02-22 14:15:20 +01:00
Valentin Boettcher	85a0fd19cc	add some more notes	2022-02-11 22:08:11 +01:00