EdgeCoverQ

EdgeCoverQ[g,elist] yields True if the edge list elist is an edge cover of the graph g and False otherwise.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.