小编Nad*_*ova的帖子

我想A /\ B /\ C /\ D /\ E /\ F在伊莎贝尔证明.如何将子目标自动拆分为6个单独的子目标proof(rule ...),以便之后我可以单独证明它们？

当然,我可以写proof(rule conjI)5次,但也许有一种更优雅的方式可以一步完成分割？