Renamed mathlib to math
Changed include strategy