LyCORISのlokrで使われる、クロネッカー積とランクの関係が気になったので、検索してみたのですが、 日本語の記事は全く見つからずよく分からない英語の情報だけ見つかったので、その証明を確認してみます。 math.stackexchange.comクロネッカー積とは行列に…