Update mathlib.h