Theorem kroneckerTMulAlgEquiv_symm_stdBasisMatrix_tmul

Modification history