|
|
|---|
|
|
|
|---|
Information about a successful defdigits call,
recorded as a pair's value in the
(defdigits-infop x) is a std::defaggregate of the following fields.
Source link:
The name input of the defdigits call is the key of the pair in the table. Each field of this aggregate except the last two corresponds to the input of defdigits with the same name. The last two fields are the names of two theorems generated by defdigits.