Theorem SimpleGraph.chromaticNumber_le_of_forall_imp

Modification history