Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sat, 01 Jul 2017 00:12:38 +0900 | Shinji KONO | if K{*}↓U has initial Obj, U is representable done. |
Fri, 30 Jun 2017 23:36:54 +0900 | Shinji KONO | on going ... |
Fri, 30 Jun 2017 21:52:14 +0900 | Shinji KONO | introduce U preserving |
Wed, 28 Jun 2017 17:17:17 +0900 | Shinji KONO | fix |
Wed, 28 Jun 2017 08:55:11 +0900 | Shinji KONO | add equalizer |
Tue, 27 Jun 2017 10:29:06 +0900 | Shinji KONO | add compleness |