Theorem SimpleGraph.Subgraph.spanningCoe_inj

Modification history