Theorem Cardinal.mk_list_eq_sum_pow

Modification history