Theorem SimpleGraph.Hom.mapSpanningSubgraphs_injective

Modification history