:: deftheorem defines endvertex GLIB_000:def 52 :
for G being _finite _Graph
for v being Vertex of G holds
( v is endvertex iff v .degree() = 1 );