Mercurial > hg > Members > kono > Proof > category
graph
-
fix free-monoidThu, 24 Mar 2016 12:07:32 +0900, by Shinji KONO
-
refl in free-monoid troubleThu, 24 Mar 2016 11:31:14 +0900, by Shinji KONO
-
cong is a bit strange...Thu, 24 Mar 2016 02:53:25 +0900, by Shinji KONO
-
assoc passedThu, 24 Mar 2016 02:07:45 +0900, by Shinji KONO
-
with inv-f, distribution law passed.Thu, 24 Mar 2016 01:48:13 +0900, by Shinji KONO
-
if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no goodWed, 23 Mar 2016 22:47:32 +0900, by Shinji KONO
-
same conflict again ...Wed, 23 Mar 2016 19:52:27 +0900, by Shinji KONO
-
Maybe does not help conflict ...Wed, 23 Mar 2016 17:16:29 +0900, by Shinji KONO
-
reverse arrow must be there...Wed, 23 Mar 2016 16:25:23 +0900, by Shinji KONO
-
recover TwoHomWed, 23 Mar 2016 15:45:05 +0900, by Shinji KONO
-
add reasoningWed, 23 Mar 2016 11:29:45 +0900, by Shinji KONO
-
add reasoningWed, 23 Mar 2016 11:16:16 +0900, by Shinji KONO
-
...Wed, 23 Mar 2016 10:57:00 +0900, by Shinji KONO
-
if enumarate all possible combination in assoc, it'll pass.Tue, 22 Mar 2016 15:01:47 +0900, by Shinji KONO