Division durch 0 behoben
Merge branch 'master' of https://github.com/brunothg/Mathlib.git