log

age author description
Wed, 15 Mar 2017 12:10:24 +0900 Shinji KONO UpreseveLimit detailing
Wed, 15 Mar 2017 11:19:54 +0900 Shinji KONO add if U is iso to representable functor then preserve limit
Tue, 14 Mar 2017 13:37:07 +0900 Shinji KONO fix
Tue, 14 Mar 2017 13:08:03 +0900 Shinji KONO fryed1 done
Tue, 14 Mar 2017 12:14:57 +0900 Shinji KONO unique direction 2 done
Tue, 14 Mar 2017 11:43:46 +0900 Shinji KONO on going using limit-uniquness directly