mathlib

08177de6 - complete documentation at header