mathlib3

54829571 - clean up finset.sum_bij call in finset_sum_divisors_iff