Mercurial > hg > Members > kono > Proof > category
graph
-
record ResolutionSat, 27 Jul 2013 17:32:32 +0900, by Shinji KONO
-
Comparison FunctorSat, 27 Jul 2013 15:07:20 +0900, by Shinji KONO
-
fixSat, 27 Jul 2013 14:34:21 +0900, by Shinji KONO
-
Resolution Adjoint proved.Sat, 27 Jul 2013 13:03:02 +0900, by Shinji KONO