Theorem transpose_dualTensorHom

Modification history