mathlib

feebcb99 - suggestions from code review