我应该采用什么策略来摆脱荒谬的平等?

时间:2017-05-10 21:59:14

标签: equality coq coq-tactic

假设我的范围H: 0 = 1。如何使用此结论False

1 个答案:

答案 0 :(得分:1)

你应该使用战术discriminate