Mercurial > hg > Members > kono > Proof > category
graph
-
f∗ = ε(b)F(f),Mon, 22 Jul 2013 16:04:23 +0900, by Shinji KONO
-
trying...Mon, 22 Jul 2013 15:16:56 +0900, by Shinji KONO
-
add Adj to Universal MappingMon, 22 Jul 2013 14:54:52 +0900, by Shinji KONO