Neulich beim Kaffee-Trinken ging es mal wieder darum, wie ausführlich Beweise in mathematischen Arbeiten aufzuschreiben seien.

Hyperbolische Dynamik – Katzen dehnen und stauchen.