Theorem Rep.MonoidalClosed.linearHomEquivComm_symm_hom

Modification history