Theorem Matrix.kronecker_ofNat

Modification history