标签

notes

这个主题关联 1 篇内容。

全部标签归档

2026-05-31 - 约 1 分钟阅读数学 紧凑证明模式

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