Return true if the Kronecker product KP is a square matrix.
See also: @kronprod/size.
Package: linear-algebra