mathlib

d32ac074 - Apply suggestions from code review