Def SimpleGraph.IsExtremal

Modification history