log

age author description
2017-07-01 Shinji KONO ...
2017-07-01 Shinji KONO creating nat
2017-06-30 Shinji KONO if K{*}↓U has initial Obj, U is representable done.
2017-06-30 Shinji KONO on going ...
Loading...