Theorem powers_mul_hom_apply

Modification history