mathlib

b2cdb71a - Apply suggestions from code review