Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 12 Jun 2017 23:25:39 +0900 | Shinji KONO | natural transformation in representable functor |
Mon, 12 Jun 2017 18:11:23 +0900 | Shinji KONO | on going ... |
Mon, 12 Jun 2017 16:35:34 +0900 | Shinji KONO | on goging |