mathlib3

70cfdf10 - apply suggestion from code review