Theorem powers_eq_zpowers

Modification history