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

deleteEdges_empty_eq

Mathlib.Combinatorics.SimpleGraph.Subgraph

URI: https://scilib.ai/kg/mathlib#SimpleGraph.Subgraph.deleteEdges_empty_eq

← MathLib Explorer