Theorem Complex.norm_cpow_eq_rpow_re_of_pos

Modification history