Avatar
というのも GaussInt が EuclideanRing であるのも、R == Int であることをかなり強く使うので…
3:11 PM
もしかしたら統一的な一般論があるのかもしれませんが、僕は知らないです😣