Mercurial > hg > Members > kono > Proof > automaton
graph
-
( n k : ℕ ) → 1 < n → gcd n k ≤ nSat, 02 Jan 2021 16:51:34 +0900, by Shinji KONO
-
...Sat, 02 Jan 2021 11:49:44 +0900, by Shinji KONO
-
...Sat, 02 Jan 2021 10:05:32 +0900, by Shinji KONO
-
... gcd (i + j) j ≡ gcd i jSat, 02 Jan 2021 04:29:20 +0900, by Shinji KONO
-
...Sat, 02 Jan 2021 03:43:24 +0900, by Shinji KONO
-
...Sat, 02 Jan 2021 01:59:47 +0900, by Shinji KONO
-
...Fri, 01 Jan 2021 22:10:10 +0900, by Shinji KONO