显示所有公理 Coq

Show all axioms Coq

我想查看我的证明中使用的所有公理。 获取此类信息的最简单方法是什么？ 我应该使用哪些命令或脚本或工具？ 我对所有公理或所有使用过的公理感兴趣。

你应该使用

Print Assumptions foobar.

白话命令，描述here