Theorem Matrix.kroneckerTMulAlgEquiv_apply

Modification history