Theorem Nat.ofDigits_eq_sum_mapIdx

Modification history