mathlib

b3fbcec6 - chore(.docker): add missing library (#8370)

chore(.docker): add missing library (#8370) Something must have changed that now needs this library. It's only installed in an intemediate build, anyway.