Theorem SimpleGraph.Subgraph.coeSubgraph_Adj

Modification history