Theorem Matrix.ofNat_kronecker

Modification history