PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: firstn lem0

T:Type, as:T*. firstn(||as||;as) = as
By: RepD
Generated subgoal:

11. T: Type
2. as: T*
firstn(||as||;as) = as

About:
alluniverselistequal