Description: The size of the closed neighborhood of a vertex is at most the number of vertices of a graph. (Contributed by AV, 10-May-2025)
Ref | Expression | ||
---|---|---|---|
Hypothesis | clnbgrlevtx.v | ||
Assertion | clnbgrlevtx |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | clnbgrlevtx.v | ||
2 | 1 | fvexi | |
3 | 1 | clnbgrssvtx | |
4 | hashss | ||
5 | 2 3 4 | mp2an |