mathlib

5b3b136c - added docstring and added some tests