Theorem Complex.integerComplement_pow_two_ne_pow_two

Modification history