Theorem powersEquivPowers_apply

Modification history