Mercurial > hg > Members > kono > Proof > category
graph
-
Comparison Functor all done.Fri, 02 Aug 2013 17:01:14 +0900, by Shinji KONO
-
Comparison Functor for Eilenberg-Moore Category is constructed.Fri, 02 Aug 2013 10:06:15 +0900, by Shinji KONO