#3. 二叉树镜像证明

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