nhaehnle/lattices — pull request #5 by anherm (2014-01-19 11:27:28+00:00)
Title: Some changes

Ich weiß nicht genau, warum der Commit, bei dem ich deine Änderungen gepullt habe, mit in diesem Pull-Request gelandet ist, und hoffe, das macht keine Probleme...

Der Beweis, den ich geändert habe, ist natürlich wie deiner, nur umgeschrieben, bloß finde ich, dass es so einfacher wirkt. Ist natürlich Ansichtssache und du darfst auch gern deinen behalten ;)