Faire intervenir means here:
Tenir compte de, prendre en considération, faire jouer un rôle à.
so a closer literal (but heavier) translation would be:
…a theorem that let several occurences of the single m1 variable play a role.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Notifications
Leave a comment