Theorem kroneckerTMulAlgEquiv_symm_single_tmul

Modification history