3 Commits (2ef7cda1dd4eb360cb87e79a21f496d96f09bd57)

Author SHA1 Message Date
Tobias Arndt a498fb1a8c Lemma Appendix, cleanup to 4.2 4 years ago
Tobias Arndt e96331d072 Code in Appendix 4 years ago
Tobias Arndt 340e0017c4 Plots nach Figure 4 years ago