WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc
Who Cites col?
col
Def Collection(T) == T
Prop
Thm*
T:Type{i'}. col{i:l}(T)
Type{i'}
Syntax:
Collection(T)
has structure:
col{i:l}(T)
About:
WhoCites
Definitions
mb
automata
1
Sections
GenAutomata
Doc
Prop
T:Type{i'}. col{i:l}(T) 
Type{i'}PropT:Type{i'}. col{i:l}(T) Type{i'}
