Mercurial > hg > Members > kono > Proof > category
graph
-
simpler proofSat, 14 Sep 2013 11:20:18 +0900, by Shinji KONO
-
every equalizer is monicSat, 14 Sep 2013 11:19:12 +0900, by Shinji KONO
-
equalizer fixSat, 14 Sep 2013 10:04:18 +0900, by Shinji KONO