Theorem Complex.I_pow_bit0

Modification history