Mercurial > hg > Members > kono > Proof > category
graph
-
f=g if equalizer k has right inverseSun, 28 Aug 2016 18:59:40 +0900, by Shinji KONO
-
add discreteSun, 27 Mar 2016 09:18:01 +0900, by Shinji KONO
-
functor constraint does not work well on distribution lawSat, 26 Mar 2016 20:00:34 +0900, by Shinji KONO
-
add another method as a commentSat, 26 Mar 2016 17:18:49 +0900, by Shinji KONO
-
clean upSat, 26 Mar 2016 15:51:30 +0900, by Shinji KONO
-
limit-to doneSat, 26 Mar 2016 15:47:46 +0900, by Shinji KONO
-
nat commute in limit-toSat, 26 Mar 2016 15:09:19 +0900, by Shinji KONO