log

age author description
Sat, 27 Apr 2019 12:17:49 +0900 Shinji KONO simpler proof of CCC from graph