+#: lib/layouts/theorems-without-preamble.inc:51
+msgid "Theorem \\thetheorem"
+msgstr "Teoréma \\thetheorem"
+
+#: lib/layouts/theorems-without-preamble.inc:75
+msgid "Corollary \\thecorollary"
+msgstr "Korolár \\thecorollary"
+
+#: lib/layouts/theorems-without-preamble.inc:91
+msgid "Lemma \\thelemma"
+msgstr "Lemma \\thelemma"
+
+#: lib/layouts/theorems-without-preamble.inc:107
+msgid "Proposition \\theproposition"
+msgstr "Tvrdenie \\theproposition"
+
+#: lib/layouts/theorems-without-preamble.inc:123
+msgid "Prop \\theprop."
+msgstr "Prop \\theprop."
+
+#: lib/layouts/theorems-without-preamble.inc:145
+msgid "Conjecture \\theconjecture"
+msgstr "Hypotéza \\theconjecture"
+
+#: lib/layouts/theorems-without-preamble.inc:184
+msgid "Definition \\thedefinition"
+msgstr "Definícia \\thedefinition"
+
+#: lib/layouts/theorems-without-preamble.inc:208
+msgid "Example \\theexample"
+msgstr "Príklad \\theexample"
+
+#: lib/layouts/theorems-without-preamble.inc:226
+msgid "Problem \\theproblem"
+msgstr "Problém \\theproblem"
+
+#: lib/layouts/theorems-without-preamble.inc:245
+msgid "Solution \\thesolution"
+msgstr "Riešenie \\thesolution"
+
+#: lib/layouts/theorems-without-preamble.inc:262
+msgid "Exercise \\theexercise"
+msgstr "Úloha \\theexercise"
+
+#: lib/layouts/theorems-without-preamble.inc:279
+msgid "Remark \\theremark"
+msgstr "Pripomienka \\theremark"
+
+#: lib/layouts/theorems-without-preamble.inc:293
+msgid "Claim "
+msgstr "Nárok "
+
+#: lib/layouts/theorems-without-preamble.inc:309
+msgid "Case \\thecase"
+msgstr "Prípad \\thecase"
+
+#: lib/layouts/theorems-without-preamble.inc:326
+msgid "Property \\theproperty"
+msgstr "Vlastnosť \\theproperty"
+
+#: lib/layouts/theorems-without-preamble.inc:343
+msgid "Question \\thequestion"
+msgstr "Otázka \\thequestion"
+
+#: lib/layouts/theorems-without-preamble.inc:360
+msgid "Note \\thenote"
+msgstr "Poznámka \\thenote"
+
+#: lib/layouts/theorems-without-preamble.inc:373
+msgid "Prob"
+msgstr "Problém"
+
+#: lib/layouts/theorems-without-preamble.inc:377
+msgid "\\theprob"
+msgstr "problém \\theprop"
+