Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2017-06-25 | Shinji KONO | fix |
| 2017-06-23 | Shinji KONO | on going ... |
| 2017-06-23 | Shinji KONO | initialObject done |
| 2017-06-23 | Shinji KONO | introduce one element set |
| 2017-06-23 | Shinji KONO | One |
| 2017-06-23 | Shinji KONO | fix |
| 2017-06-21 | Shinji KONO | add desciptive lemma |
| 2017-06-20 | Shinji KONO | on going .. |
| 2017-06-20 | Shinji KONO | on going ... |
| 2017-06-20 | Shinji KONO | fix |
| 2017-06-19 | Shinji KONO | initital obj uniquness done |
| 2017-06-14 | Shinji KONO | on going .. |
| 2017-06-14 | Shinji KONO | initial Object's arrow found |
| 2017-06-13 | Shinji KONO | Representational Functor preserve limit done |
| 2017-06-13 | Shinji KONO | t0f=t0 done |