#9. 程序的时间复杂度证明

来源：第一次定理证明大赛3 AC / 2 提交 · 150%
#提交者状态分数时间
25jkjkmxmxAccepted1502026/02/13 20:56:19
11薇薇安Accepted1502026/02/12 22:11:25