Theorem SimpleGraph.IsAlternating.spanningCoe

Modification history