Mercurial > hg > Members > kono > Proof > category
graph
-
unity of oppsiteFri, 23 Aug 2013 10:11:58 +0900, by Shinji KONO
-
use functional extensionality in libraryWed, 21 Aug 2013 18:33:03 +0900, by Shinji KONO
-
builtin extensionalityWed, 21 Aug 2013 15:38:41 +0900, by Shinji KONO