Create mathlib.s