Create mathlib.h