Theorem Complex.norm_cpow_eq_rpow_re_of_nonneg

Modification history