Theorem SimpleGraph.Subgraph.spanningHom_injective

Modification history