mathlib: code style fixed