我正在写一本关于数学的书，我想支持两种阅读方式：
通常，教育的这样，写法是按顺序、拓扑顺序的：
- 我们引入一个操作
- 我们引入一个定理
- 我们明确了定理对运算的影响（“属性”，如方程）
- 我们引入了一个新操作
- ETC。 ...
在阅读过程中的任何时候，唯一使用的概念是先前介绍过的概念。
另一种方式是参考书 ：
- 我们定义一个操作
- 我们公开此操作涉及的所有（或部分）属性
这样我们就可以调用尚未定义的定理来证明那些
有没有一种方法，只需编写一次，但无需重写即可自动支持两种风格的生成？
自动生成“参考手册”和教学书籍