WhoCites
Definitions
mb
automata
2
Sections
GenAutomata
Doc
Who Cites col
singleton?
col_singleton
Def < x > (y) == y = x
T
Thm*
T:Type, x:T. < x >
Collection(T)
Syntax:
< x >
has structure:
col_singleton(T; x)
About:
WhoCites
Definitions
mb
automata
2
Sections
GenAutomata
Doc
T
T:Type, x:T. < x > Collection(T) TT:Type, x:T. < x > Collection(T)
