equality - Turning a <= b to suc a <= suc b

Answer 1

查看小于或等于关系的 s<=s 构造函数。请在课程论坛上提问，而不是在堆栈溢出上提问。