PrintForm
Definitions
nfa
1
Sections
AutomataTheory
Doc
At:
reverse
cons
nil
T:Type, t:T. rev([t]) = [t]
By:
UnivCD
THEN
RecUnfold `reverse` 0
THEN
Reduce 0
Generated subgoals:
None
About:
T:Type, t:T. rev([t]) = [t]
