使用Reverso Context: If no premise is given, the sequent is called a theorem.,在英语-中文情境中翻译"sequent"
確定! 回上一頁