mathlib3

5c06b435 - Apply suggestions from code review