Theorem zpowersMulHom_apply

Modification history