Choisissez votre langue
L'interface, la configuration match et chaque décision écrite par l'arbitre sont montrés dans la langue que vous choisissez ici. Les mathématiques elles-mêmes ne sont pas traduites: un terme de preuve est un terme de preuve.
Français