• 2021-04-14
    作为加强命题条件的退让,希伍德将“四色猜想”改为“五色定理”。()