Theorem kroneckerTMulLinearEquiv_tmul

Modification history