PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
whole
segment
1
1
1
1
1.
T:
Type
2.
as:
T*
firstn(||nil||;nil) = nil
T*
By:
RecUnfold `firstn` 0
THEN
Reduce 0
Generated subgoals:
None
About:
firstn(||nil||;nil) = nil 
T*
