Mathlib, headers for no warnings on t0, t1, math