mathlib

868ee2c6 - chore(.docker): fix build failure in docker images (#16590)

chore(.docker): fix build failure in docker images (#16590) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>