Theorem Nat.cast_list_sum

Modification history