Setting math names (proof, lemma, etc) according to selected language....
1 related merge request: !12 Setting math names (proof, lemma, etc) according to selected language....
4 jobs
1 minute 55 seconds, queued for 3 seconds