形式化方法coq induction练习(1~2星)答案