Mercurial > hg > Members > kono > Proof > category
graph
-
on going ...2013-09-01, by Shinji KONO
-
remove an extensionality2013-09-01, by Shinji KONO
-
fix2013-08-31, by Shinji KONO
-
exponential2013-08-31, by Shinji KONO
-
fix2013-08-30, by Shinji KONO
-
comment2013-08-30, by Shinji KONO
-
clean up2013-08-30, by Shinji KONO
-
give up injective on Object?2013-08-30, by Shinji KONO