Theorem SimpleGraph.Hom.mapSpanningSubgraphs_inj

Modification history