Theorem Int.eq_pow_of_mul_eq_pow_bit1_right

Modification history