∫ Утверждение Mathlib
top_isIndContained_iff_top_isContained
Mathlib.Combinatorics.SimpleGraph.Copy
URI: https://scilib.ai/kg/mathlib#SimpleGraph.top_isIndContained_iff_top_isContained
∫ Утверждение Mathlib
Mathlib.Combinatorics.SimpleGraph.Copy
URI: https://scilib.ai/kg/mathlib#SimpleGraph.top_isIndContained_iff_top_isContained