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