Mercurial > hg > Members > kono > Proof > category
graph
-
clean upTue, 07 Mar 2017 08:27:33 +0900, by Shinji KONO
-
close thisTue, 07 Mar 2017 03:22:33 +0900, by Shinji KONO
-
discrete equality as a dom equalityTue, 07 Mar 2017 03:21:46 +0900, by Shinji KONO
-
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