∫ Утверждение Mathlib

deleteEdges_eq_inter_edgeSet

Mathlib.Combinatorics.SimpleGraph.DeleteEdges

URI: https://scilib.ai/kg/mathlib#SimpleGraph.deleteEdges_eq_inter_edgeSet

← MathLib Explorer