:: deftheorem defines canDCompleteGraph GLIB_016:def 3 :
for c being non empty Cardinal holds canDCompleteGraph c = createGraph (c,([:c,c:] \ (id c)));