proof

一则关于如何在 MDX 中保持定义、命题和证明草图可读的小笔记。