Theorem Int.eq_pow_of_mul_eq_pow_bit1_left

Modification history