Theorem Int.eq_pow_of_mul_eq_pow_odd_right

Modification history