Theorem powersHom_apply

Modification history