chore: Bump mathlib dependency to 54f98fd
#552
+6
−6
mathlib dependency to 54f98fd
#552