Theorem SimpleGraph.IsContained.of_isEmpty

Modification history