Theorem kroneckerTMulLinearEquiv_mul

Modification history