#6. 模同余相关性质和中国剩余定理证明

来源：First Theorem Proving Competition3 AC / 4 提交 · 75%