2 Commits (3bae82eaf90a06da04ab896fdda1d6718910ef39)

Author SHA1 Message Date
Tobias Arndt 3bae82eaf9 Ausbau von Erklärungen 4 years ago
Tobias Arndt a498fb1a8c Lemma Appendix, cleanup to 4.2 4 years ago