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

deleteEdges_sdiff_eq_of_le

Mathlib.Combinatorics.SimpleGraph.DeleteEdges

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

← MathLib Explorer