Theorem powersMulHom_apply

Modification history