我正在完成一份包含许多命题、引理等的大型文件。作为作者，我很难跟踪每个命题的具体使用位置。
如果能够自动生成一个列表，列出每个命题、定义等的确切引用位置，那将非常有帮助。我的想法是这样的：
命题2.3。引用自：第 11 页的引理 3.4。第 20 页的定理 5.1。等等...
我想自动生成一个列表，其条目类似于上面的示例。我不需要将此列表作为我的 tex 文件或文档的一部分，而是希望将其生成为外部文件（比如说文本文件就可以）。
有什么想法/建议吗，使用 Latex 内置功能还是某些外部工具？
谢谢。