Mathlib headers syntax fixes