:: deftheorem defines vertex-like SIMPLEX0:def 3 :
for K being SimplicialComplexStr
for v being Element of K holds
( v is vertex-like iff ex S being Subset of K st
( S is simplex-like & v in S ) );