Theorem homTensorHomEquiv_apply

Modification history