Mercurial > hg > Members > kono > Proof > category
graph
-
fixMon, 06 Mar 2017 17:23:10 +0900, by Shinji KONO
-
discrete should have Set based ObjMon, 06 Mar 2017 17:17:57 +0900, by Shinji KONO
-
discrete f ≡ refl should be passed, but it doesn'tMon, 06 Mar 2017 17:16:27 +0900, by Shinji KONO
-
discrete category and product from a limitMon, 06 Mar 2017 15:45:51 +0900, by Shinji KONO
-
clean upSun, 05 Mar 2017 11:14:32 +0900, by Shinji KONO
-
clean upSat, 04 Mar 2017 16:57:58 +0900, by Shinji KONO