我怎样才能把示意变量?证据的案件中的规则吗?
How can I bind the schematic variable? Case in a rule for proof by cases?
youdao
应用推荐
模块上移
模块下移
不移动