Theorem Complex.abs_cpow_inv_nat

Modification history