Theorem SimpleGraph.IsContained.mono_right

Modification history