Mercurial > hg > Members > kono > Proof > category
graph
-
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