#4. 二分搜索极小点证明

来源：First Theorem Proving Competition1 AC / 2 提交 · 50%
讨论功能即将推出