log

age author description
Thu, 06 Jul 2017 13:50:45 +0900 Shinji KONO adjoint functor theorem done