Commit graph

3 commits

Author SHA1 Message Date
2e588725aa added proof of lemma 2.8 2017-08-03 17:56:46 +02:00
c9c616ccab Fixed overfull hbox 2017-08-02 18:27:31 +02:00
c125dff175 initial commit 2017-08-02 18:24:13 +02:00