Theorem dualTensorHom_apply

Modification history