#1. 谓词与互归纳证明

来源：First Theorem Proving Competition3 AC / 7 提交 · 43%