これは「今年中にHungerford7章読むぞ Advent Calendar 2022」5日目の記事です。 昨日は寝てました。一日40時間くらい欲しい…。どこかで取り返せたらいいですね。 D2.2で導入された行階数・列階数が等しいことを示します（C2.5）。えいえいおー T2.3で行列の…