Theorem zpowersEquivZPowers_apply

Modification history