Mercurial > hg > Members > kono > Proof > galois
graph
-
commutativity of Any _ (tl2 L4 L1 L2) and Any _ (tl2 L4 L1 (tl3 a L L2))Wed, 02 Dec 2020 10:16:24 +0900, by Shinji KONO
-
...Tue, 01 Dec 2020 23:37:29 +0900, by Shinji KONO
-
...Tue, 01 Dec 2020 16:01:02 +0900, by Shinji KONO
-
comm8Mon, 30 Nov 2020 18:02:06 +0900, by Shinji KONO
-
TERMINATING AnyFListMon, 30 Nov 2020 12:27:07 +0900, by Shinji KONO
-
...Mon, 30 Nov 2020 10:13:22 +0900, by Shinji KONO
-
insAnyMon, 30 Nov 2020 08:07:55 +0900, by Shinji KONO