PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: nth tl lem0 1
1. T: Type

as:T*. tl(nth_tl(0;as)) = nth_tl(0+1;as)
By:
RecUnfold `nth_tl` 0
THEN
Reduce 0
Generated subgoals:

None

About:
alllistequalnatural_numberadduniverse