Theorem ofMul_image_zpowers_eq_zmultiples_ofMul

Modification history