Theorem Rep.MonoidalClosed.linearHomEquiv_symm_hom

Modification history