Theorem SimpleGraph.Colorable.mono_left

Modification history