#5. 背包问题最优解算法证明

来源：First Theorem Proving Competition2 AC / 2 提交 · 100%