Theorem SimpleGraph.IsCycles.toSimpleGraph

Modification history