All translations
Enter a message name below to show all available translations.
Found one translation.
| Name | Current message text |
|---|---|
| h English (en) | "$1" is not reduced yet to "$2" because the fact that the left sides are equal is only known after their evaluation, and also because this reduction depends on the evaluation of ''title''. |