mathlib

6a50f1d0 - Minor changes to some utility functions