mathlib

542ff6af - refactor(algebra/algebra/basic): change submodule.restrict_scalars to use is_scalar_tower (#6745)