Theoremproving
[计] 定理证明
🗣️ 情景例句
But when do they do it?
但是什么时候动手术？
Sorry, Mr. Green can't see you now.
对不起，格林先生现在不能见您。
I am one of the few people left.
我是少数留下来的人中的一个。