小编Sim_ine的帖子

结合两个 Coq 假设

所以我有两个假设，一个是h : A -> B，另一个是h2 : A。我怎样才能h3 : B出现在我的假设中？

2
推荐指数

1
解决办法

1356
查看次数

标签统计

coq ×1