问题描述
我想知道是否有一些介绍性的模式可以介绍
A /\ B /\ C为
H1: A /\ B
H2: C
我知道 intros [H1 H2]会产生
H1: A
H2: B /\ C
，但无法弄清楚如何为另一个方向配置支架。 这是一个简单的例子。但是我将连词和析取词的组合更为复杂，因此我更希望从右向左破坏。
谢谢
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）