log

age author description
Sat, 01 Jul 2017 00:12:38 +0900 Shinji KONO if K{*}↓U has initial Obj, U is representable done.