mathlib3

refactor(algebra/direct_sum/module): use `decomposition` instead of `is_internal` when the equiv is needed

#14812

Open