フィールド拡張上の線形代数に関するちょっとしたメモ(もちろん、エンコーディングと簡潔な証明への応用)
8.32K