Theorem zmultiplesHom_apply

Modification history