Theorem Complex.abs_cpow_eq_rpow_re_of_nonneg

Modification history