码农家园
关闭
导航
首页
> theorem-proving > 文章
关于定理证明：如何执行多个存在消除，它们都共享一个单一的多元普遍量化假设？
lean
theorem-proving