Theorem SimpleGraph.IsContained.extremalNumber_le

Modification history