Theorem Nat.ofDigits_eq_sum_mapIdx_aux

Modification history