code: def test_KroneckerProduct_inverse():
      kp = kronecker_product(W, Z)
      assert kp.inverse() == kronecker_product(W.inverse(), Z.inverse())
  
imports: from sympy.core.mod import Mod
  from sympy.core.numbers import I
  from sympy.core.symbol import symbols
  from sympy.functions.elementary.integers import floor
  from sympy.matrices.dense import Matrix, eye
  from sympy.matrices import MatrixSymbol, Identity
  from sympy.matrices.expressions import det, trace
  from sympy.matrices.expressions.kronecker import KroneckerProduct, kronecker_product, combine_kronecker
label_desc: Use image node_id 13 for calling a global function with example usage: test_KroneckerProduct_inverse() without return types