Mercurial > hg > Members > kono > Proof > galois
graph
-
...Sun, 23 Aug 2020 14:43:35 +0900, by Shinji KONO
-
...Sun, 23 Aug 2020 13:39:14 +0900, by Shinji KONO
-
remove (fromℕ≤ a<sa) perm is no goodSat, 22 Aug 2020 19:55:41 +0900, by Shinji KONO