Setting math names (proof, lemma, etc) according to selected language....

Tomáš Nováčekrequested to merge
novacek/language-optimisation into master

Setting math names (proof, lemma, etc) according to selected language. Additional typo fixes and comment improvements.

Merge request reports