Theorem Rep.MonoidalClosed.linearHomEquiv_hom

Modification history