Assumptions
type Assumptions =
| Closed
| RestsOn of string array
|
|
| Assembly |
Nacara.Plugin.Rocq |
The output of Print Assumptions.
Cases
Closed
The symbol is closed under the global context.
RestsOn of string array
The axioms the symbol depends on. An admitted theorem depends on itself.
Properties