Theorem zpowers_hom_apply

Modification history