Theorem ofAdd_image_multiples_eq_powers_ofAdd

Modification history