Update mathlib.s