Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Tue, 30 Aug 2016 01:40:56 +0900 | Shinji KONO | equ |
Tue, 30 Aug 2016 00:19:10 +0900 | Shinji KONO | clean up |
Mon, 29 Aug 2016 19:21:40 +0900 | Shinji KONO | add rest of equation |
Mon, 29 Aug 2016 17:02:03 +0900 | Shinji KONO | initialFullSubCategory |
Sun, 28 Aug 2016 18:59:40 +0900 | Shinji KONO | f=g if equalizer k has right inverse |
Sun, 27 Mar 2016 09:18:01 +0900 | Shinji KONO | add discrete |