mathlib work