Theorem homTensorHomEquiv_toLinearMap

Modification history