Translations:Extension:SyntaxHighlight/1362/de

Lean theorem prover