Theorem SimpleGraph.IsContained.mono_left

Modification history