Theorem SimpleGraph.Subgraph.spanningCoe_le

Modification history