Mercurial > hg > Members > kono > Proof > galois
graph
-
...Fri, 28 Aug 2020 11:05:45 +0900, by Shinji KONO
-
tc fixThu, 27 Aug 2020 11:44:58 +0900, by Shinji KONO
-
(x : Permutation 1 1 ) → x =p= pidThu, 27 Aug 2020 08:29:56 +0900, by Shinji KONO
-
...Thu, 27 Aug 2020 01:19:32 +0900, by Shinji KONO