书目详细信息 : 四色猜测的手工证明:30多年研究四色猜测的15种证明方法