Theorem eq_of_prime_pow_eq'

Modification history