Theorem zpowersEquivZpowers_apply

Modification history