Keywords: Dokazovalnik, Lean, ravninski grafi, kombinatorična preslikavaFull text (file, 634,58 KB) This document has more files! More...